logo

Teoria dos Autômatos

A teoria dos autômatos é um ramo teórico da ciência da computação e da matemática. É o estudo das máquinas abstratas e dos problemas de computação que podem ser resolvidos com essas máquinas. A máquina abstrata é chamada de autômato. A principal motivação por trás do desenvolvimento da teoria dos autômatos foi desenvolver métodos para descrever e analisar o comportamento dinâmico de sistemas discretos.

Este autômato consiste em estados e transições. O Estado é representado por círculos , e a Transições é representado por Setas; flechas .

Autômato é o tipo de máquina que recebe alguma string como entrada e essa entrada passa por um número finito de estados e pode entrar no estado final.

Existem as terminologias básicas que são importantes e frequentemente utilizadas em autômatos:

Símbolos:

Os símbolos são uma entidade ou objetos individuais, que podem ser qualquer letra, alfabeto ou qualquer imagem.

Exemplo:

1, a, b, #

Alfabetos:

Alfabetos são um conjunto finito de símbolos. É denotado por ∑.

Exemplos:

 ∑ = {a, b} ∑ = {A, B, C, D} ∑ = {0, 1, 2} ∑ = {0, 1, ....., 5] ∑ = {#, β, Δ} 

Corda:

É uma coleção finita de símbolos do alfabeto. A string é denotada por w.

Exemplo 1:

Se ∑ = {a, b}, várias strings que podem ser geradas a partir de ∑ são {ab, aa, aaa, bb, bbb, ba, aba.....}.

  • Uma string com zero ocorrências de símbolos é conhecida como string vazia. É representado por ε.
  • O número de símbolos em uma string w é chamado de comprimento de uma string. É denotado por |w|.

Exemplo 2:

 w = 010 Number of Sting |w| = 3 

Linguagem:

Uma linguagem é uma coleção de strings apropriadas. Uma linguagem formada sobre Σ pode ser Finito ou Infinito .

Exemplo 1

 L1 = {Set of string of length 2} = {aa, bb, ba, bb} <strong>Finite Language</strong> 

Exemplo: 2

 L2 = {Set of all strings starts with &apos;a&apos;} = {a, aa, aaa, abb, abbb, ababb} <strong>Infinite Language</strong>