Az automaták elmélete a számítástechnika és a matematika elméleti ága. Ez az absztrakt gépek tanulmányozása és az ezekkel a gépekkel megoldható számítási problémák. Az absztrakt gépet automatának nevezzük. Az automata elmélet kidolgozásának fő motivációja a diszkrét rendszerek dinamikus viselkedésének leírására és elemzésére szolgáló módszerek kidolgozása volt.

Ez az automata állapotokból és átmenetekből áll. A Állapot képviseli körökben , és a Átmenetek képviseli nyilak .

Az automata olyan gép, amely valamilyen karakterláncot vesz bemenetként, és ez a bemenet véges számú állapoton megy keresztül, és a végső állapotba léphet.

Vannak az automatákban fontos és gyakran használt alapvető terminológiák:

Szimbólumok:

A szimbólumok egy entitás vagy egyedi objektumok, amelyek bármilyen betű, ábécé vagy bármilyen kép lehet.

Példa:

1, a, b, #

Ábécé:

Az ábécé a szimbólumok véges halmaza. Ezt ∑ jelöli.

Példák:

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

Húr:

Ez az ábécé szimbólumainak véges gyűjteménye. A karakterláncot w-vel jelöljük.

1. példa:

Ha ∑ = {a, b}, akkor a ∑-ből generálható különböző karakterláncok a következők: {ab, aa, aaa, bb, bbb, ba, aba.....}.

• A nulla szimbólum-előfordulású karakterláncot üres karakterláncnak nevezzük. Ezt ε jelenti.
• A w karakterláncban lévő szimbólumok számát egy karakterlánc hosszának nevezzük. Jelölje |w|.

2. példa:

 w = 010 Number of Sting |w| = 3 

Nyelv:

A nyelv megfelelő karakterláncok gyűjteménye. Egy Σ felett kialakult nyelv lehet Véges vagy Végtelen .

Példa: 1

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

Példa: 2

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