JavaScript 2.0 Regular Expression Grammar

JavaScript 2.0

Formal Description

Regular Expression Grammar

Sunday, May 16, 1999

This LR(1) grammar describes the regular expression syntax of the JavaScript 2.0 proposal. See also the description of the grammar notation.

This document is also available as a Word 98 rtf file.

Unicode Character Classes

UnicodeCharacter Any Unicode character

UnicodeAlphanumeric Any Unicode alphabetic or decimal digit character (includes ASCII 0-9, A-Z, and a-z)

LineTerminator «LF» | «CR» | «u2028» | «u2029»

NonTerminator UnicodeCharacter except LineTerminator

Regular Expression Definitions

Regular Expression Patterns

RegularExpressionPattern Disjunction

Disjunctions

Disjunction

Alternative^normal

| Alternative^normal | Disjunction

Quantifiers

l {normal, nonDecimalDigit, nonOctalDigit}

Alternative^l

«empty»

| Assertion Alternative^normal

| OrdinaryAtom^l Alternative^normal

| OneDigitEscape Alternative^{nonDecimalDigit}

| ShortOctalEscape Alternative^{nonOctalDigit}

| Atom^l Quantifier Alternative^normal

Quantifier

QuantifierPrefix

| QuantifierPrefix ?

QuantifierPrefix

*

| +

| ?

| { DecimalDigits }

| { DecimalDigits , }

| { DecimalDigits , DecimalDigits }

DecimalDigits

DecimalDigit

| DecimalDigits DecimalDigit

DecimalDigit 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Assertions

Assertion

^

| $

| \ b

| \ B

Atoms

Atom^l

OrdinaryAtom^l

| OneDigitEscape

| ShortOctalEscape

OrdinaryAtom^l

CompoundAtom

| PatternCharacter^l

PatternCharacter^normal NonTerminator except ^ | $ | \ | . | * | + | ? | ( | ) | [ | ] | { | } | |

PatternCharacter^{nonDecimalDigit} PatternCharacter^normal except DecimalDigit

PatternCharacter^{nonOctalDigit} PatternCharacter^normal except OctalDigit

CompoundAtom

( Disjunction )

| ( ? : Disjunction )

| .

| CharacterClass

| CharacterEscape

| TwoDigitEscape

| CharacterClassEscape

Escapes

CharacterEscape

ControlEscape

| \ c ControlLetter

| ThreeDigitEscape

| HexEscape

| \ IdentityEscape

ControlLetter

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

| a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z

IdentityEscape NonTerminator except UnicodeAlphanumeric

ControlEscape

\ f

| \ n

| \ r

| \ t

| \ v

Numeric Escapes

OneDigitEscape \ DecimalDigit

ShortOctalEscape \ ZeroToThree OctalDigit

TwoDigitEscape

\ ZeroToThree EightOrNine

| \ FourToNine DecimalDigit

ThreeDigitEscape \ ZeroToThree OctalDigit OctalDigit

ZeroToThree 0 | 1 | 2 | 3

FourToNine 4 | 5 | 6 | 7 | 8 | 9

OctalDigit 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7

EightOrNine 8 | 9

HexEscape

\ x HexDigit HexDigit

| \ u HexDigit HexDigit HexDigit HexDigit

HexDigit 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | A | B | C | D | E | F | a | b | c | d | e | f

Character Class Escapes

CharacterClassEscape

\ s

| \ S

| \ d

| \ D

| \ w

| \ W

User-Specified Character Classes

s {any, noCaret, noDash}

CharacterClass

[ ClassRanges^noCaret ]

| [ ^ ClassRanges^any ]

ClassRanges^s

«empty»

| RangeList^s,normal

RangeList^s,l

FinalRangeAtom^s,l

| OrdinaryRangeAtom^s,l RangeListSuffix^normal

| ZeroEscape RangeListSuffix^{nonDecimalDigit}

| ShortOctalEscape RangeListSuffix^{nonOctalDigit}

RangeListSuffix^l

RangeList^noDash,l

| - RangeAtom^any,normal

| - OrdinaryRangeAtom^any,normal RangeList^any,normal

| - ZeroEscape RangeList^{any,nonDecimalDigit}

| - ShortOctalEscape RangeList^{any,nonOctalDigit}

Character Class Range Atoms

FinalRangeAtom^any,l RangeAtom^any,l

FinalRangeAtom^noCaret,l RangeAtom^noCaret,l

FinalRangeAtom^noDash,l RangeAtom^any,l

RangeAtom^s,l

OrdinaryRangeAtom^s,l

| ZeroEscape

| ShortOctalEscape

OrdinaryRangeAtom^s,l

RangeCharacter^s,l

| RangeEscape

RangeCharacter^any,normal NonTerminator except \ | ]

RangeCharacter^{any,nonDecimalDigit} RangeCharacter^any,normal except DecimalDigit

RangeCharacter^{any,nonOctalDigit} RangeCharacter^any,normal except OctalDigit

RangeCharacter^{noCaret,normal} RangeCharacter^any,normal except ^

RangeCharacter^{noDash,normal} RangeCharacter^any,normal except -

RangeCharacter^{noDash,nonDecimalDigit} RangeCharacter^{noDash,normal} except DecimalDigit

RangeCharacter^{noDash,nonOctalDigit} RangeCharacter^{noDash,normal} except OctalDigit

RangeEscape

\ b

| CharacterEscape

| CharacterClassEscape

ZeroEscape \ 0

Waldemar Horwat
Last modified Sunday, May 16, 1999