Skip to content
Parsing
Search
Ctrl
K
Cancel
Clear
Twitter
GitHub
Select theme
Dark
Light
Auto
Intro
Recently changed
Playground
Playground
About
Bugs
Changelog
Theory
Language
Grammar
Automata
Ambiguity
LL
LR
LR vs LL
Operators
Parse tree
Notation
Notation
Definitions
Abbreviations
Parsing with derivatives
PwD: Parsing with derivatives
Brzozowski derivative
Implementations
Parsing with zippers
PwZ: Parsing with zippers
PwZ implementations
Zipper
Grammar graph
Parse tree
PEG
Other
Extended Chomsky Hierarchy
language
Regular languages
Deterministic context free languages
Context free languages
Boolean languages
Context free with lookahead
Conjuctive languages
Context sensetive languages
Deterministic context sensetive languages
Deterministic Indexed languages
Indexed languages
Languages with context
PEG languages
RE with backreferences
RE with backreferences and lookahead
RE with lookahead
automata
DFA
FA
AFA
TFA
SFA
DPDA
PDA
2DPDA
2SA
APDA
DPPDA
EPDA
IDPDA
IPDA
LBA
MFA
NESA
NSA
SA
SAPDA
Scaffolding Automata
TSA
Parsers timeline
BNF
BSR
Courses about parsing
CRF
DAG
Dynamic programming
GSS
Incremental parsers
Interesting languages
LCRS
Left recursion
Markdown parser
Parser combinators
Playgrounds
Scannerless parser
SPPF
Twitter
GitHub
Select theme
Dark
Light
Auto
Playground
Examples
Context sensitive
PEGs ordered choice throught lookahead
Lookahead bigger than main
Nested lookahead
Lookahead in Alt
Cycle on lookahed 1
Cycle on lookahed 2
Cycle on lookahed 3
Cycle on lookahed 4
"Invisible" symbols
Lexeme
Ignored symbols
Algebraic expression
Left associative operation
Right associative operation
Priority of operations
Kleene star as left recursion
Kleene star as right recursion
Kleene star
Matching parenthesis #1
Matching parenthesis #2
Highly ambigiuous #1
Highly ambigiuous #2
Bug (infinite loop)
markdown not implemented yet
Grammar
Grammar
A -> "a" A "b" | ""; B -> "b" B "c" | ""; S -> &(A "c") "a"* B;
String
aabbcc
Error
Show tree as
DAG
LCRS tree
▶
↓
Cycle
String to parse
a
a
b
b
c
c
Direction and depth
All
↓ 1
SPPF*
Compact
n32491490789669475
S
n6711844826522682
&
n32491490789669475->n6711844826522682
n20038577685812942
∗
n32491490789669475->n20038577685812942
n11657221900776149
B
n32491490789669475->n11657221900776149
n4854433078053416
∙
n6711844826522682->n4854433078053416
n18147357045658874
a
n20038577685812942->n18147357045658874
n8345711473103277
∙
n11657221900776149->n8345711473103277
n11913544942901932
ϵ
n11657221900776149->n11913544942901932
n2764761420444888
b
n8345711473103277->n2764761420444888
n24836416214407964
B
n8345711473103277->n24836416214407964
n5128478343774328
c
n8345711473103277->n5128478343774328
n9184942237697917
A
n4854433078053416->n9184942237697917
n8985051173065631
c
n4854433078053416->n8985051173065631
n5882552511521009
∙
n9184942237697917->n5882552511521009
n740571510815404
ϵ
n9184942237697917->n740571510815404
n13474415692177832
B
n13474415692177832->n8345711473103277
n13474415692177832->n11913544942901932
n13474415692177832->n24836416214407964
n22722280421157337
a
n5882552511521009->n22722280421157337
n8271518790392834
A
n5882552511521009->n8271518790392834
n8811699138674729
b
n5882552511521009->n8811699138674729
n04290761145619182
A
n04290761145619182->n5882552511521009
n04290761145619182->n740571510815404
n04290761145619182->n8271518790392834