Guia de Autômatos Finitos e Linguagens Formais

Autômato Finito Não Determinístico: Um conjunto de estados e conjuntos de transições de estado para estado para processar a entrada de símbolos tirados de um alfabeto.

Linguagem: É um conjunto de palavras (strings) de tamanho finito formadas a partir de um alfabeto finito.

Expressões Regulares: É uma forma de representar linguagens regulares usando caracteres alfabéticos que definem a língua.

Concatenação: Caracteres de concatenação representam a combinação de uma cadeia ou string com outra. Exemplos:

• 'Z' concatenado com '132' = "Z132"
• 'AB' concatenado com '456' = "456AB"
• 'Z' concatenando 'A' = "ZA"

Alfabeto: É um conjunto ordenado de pontos de uma língua; é o agrupamento com uma ordem específica dos elementos gráficos utilizados para representar a linguagem, servindo como um sistema de comunicação em matemática finita (conjunto ordenado de símbolos).

Cadeia: Uma sequência de palavras ou frases (string) é uma sequência ordenada de comprimento arbitrário (mas finito) de elementos de um alfabeto pertencentes ao conjunto.

Fecho de Kleene (Kleene LOCK): Se A é uma linguagem sobre um alfabeto, o fecho estrela é definido como segue: A* = ∪ n = 0 A^n, o que significa que o caractere pode aparecer em uma sequência de 0, 1... infinitas vezes.

Fecho Positivo (POSITIVO LOCK): Está definido da seguinte forma: A+ = ∪ n = 1 A^n, ou seja, indica que o caractere deve aparecer (posicionar-se) pelo menos uma vez. Por exemplo: 'ho+a' = "hola", "hoola", "hooola"...

Máquina de Estado Finito: O autômato finito é um modelo matemático de um sistema de entradas e saídas discretas.

Definições de Gramática:
L(G) = {x | x é (W e Z)^n para n de 1 a infinito}
| -> São:
X | - sequência >
Stream | - Wyz >
Stream | - sequência Wyz >
G = (V, N, V0, |->)
V = Sol
S = {w e z}
N = {V0, sequências}
V0 = V0

Exemplo de Produção Numérica:
LG = (950, .85, 830.20, 0, .79, 1.5...)
V0? Número decimal
Número decimal? Unsigned (Sem sinal)
Número decimal? Fração decimal
Número decimal? Decimal sem sinal
Fração decimal? . Unsigned
Unsigned? Dígito
Unsigned? Dígitos sem sinal
Dígitos? {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
G = (V, N, Vo, ?)
V = Símbolos
S = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
N = {Vo, número decimal, decimal sem sinal, dígitos}
Vo = V0