| formas => |
LazyBNF |
diagrama
sintático |
expressão
regular |
autômato
finito |
linguagem
de programação |
| elementos |
gráfico
|
matriz de transição |
| elemento unitário |
elemento = a . |
 |
a |
 |
entrada=>
estado |
a |
| - > 0 |
1 |
| * 1 |
- |
|
elemento a |
sequência:
2 ou mais elementos consecutivos
|
sequencia = a b . |
 |
a b |
 |
entrada=>
estado |
a |
b |
| - > 0 |
1 |
- |
| 1 |
- |
2 |
| * 2 |
- |
- |
|
elemento a;
elemento b |
alternativa:
existe mais de uma possibilidade a seguir
|
alternativa = a | b
.
|
|
a | b
|
 |
entrada=>
estado |
a |
b |
| - > 0 |
1 |
1 |
| * 1 |
- |
- |
|
if cond
elemento a
else
elemento b |
|
alternativa = a | "". |
 |
a | "" |
|
|
if cond
elemento a
|
repetição:
elemento pode ser repetido
|
repeticao = a* |
|
a* |
|
|
loop
if cond:
elemento a
repeat |
repeticao = a+
|
sem separador
|
a+
|
 |
entrada=>
estado |
a |
| - > 0 |
1 |
| * 1 |
1 |
|
loop
elemento a
if cond:
repeat |
|
repeticao = a ("," a)* . |
com separador
|
a(,a)* |
|
|
loop
elemento a
if cond:
elemento ','
repeat |