Teori om automater er en teoretisk gren av informatikk og matematisk. Det er studiet av abstrakte maskiner og beregningsproblemene som kan løses ved hjelp av disse maskinene. Den abstrakte maskinen kalles automaten. Hovedmotivasjonen bak utviklingen av automatteorien var å utvikle metoder for å beskrive og analysere den dynamiske oppførselen til diskrete systemer.

Denne automaten består av tilstander og overganger. De Stat er representert ved sirkler , og Overganger er representert ved piler .

Automata er den typen maskin som tar en streng som input, og denne inngangen går gjennom et begrenset antall tilstander og kan gå inn i den endelige tilstanden.

Det er de grunnleggende terminologiene som er viktige og ofte brukt i automater:

Symboler:

Symboler er en enhet eller individuelle objekter, som kan være en hvilken som helst bokstav, alfabet eller et hvilket som helst bilde.

Eksempel:

1, a, b, #

Alfabeter:

Alfabeter er et begrenset sett med symboler. Det er merket med ∑.

Eksempler:

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

streng:

Det er en begrenset samling av symboler fra alfabetet. Strengen er betegnet med w.

Eksempel 1:

Hvis ∑ = {a, b}, er forskjellige strenger som kan genereres fra ∑ {ab, aa, aaa, bb, bbb, ba, aba.....}.

• En streng med null forekomster av symboler er kjent som en tom streng. Den er representert ved ε.
• Antall symboler i en streng w kalles lengden på en streng. Det er betegnet med |w|.

Eksempel 2:

 w = 010 Number of Sting |w| = 3 

Språk:

Et språk er en samling av passende strenger. Et språk som er dannet over Σ kan være Avgrenset eller Uendelig .

Eksempel: 1

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

Eksempel: 2

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