Finia aŭtomato

Reviziita versio de ĉi tiu paĝo, aprobita je 12 apr. 2015, estis bazita sur ĉi tiu versio.

Ĉi tiu artikolo ankoraŭ estas ĝermo pri Komputiko.

Helpu al Vikipedio plilongigi ĝin. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton).

Stata aŭtomato estas abstrakta maŝino, uzata en diskreta matematiko kaj komputado.

Ĝiaj plej gravaj uzoj estas en procezo pri problemiĝo, komunikaĵa protokolo, programpruvo, komputebla teorio, abstraktlingva esploro, kaj traduko. Gravas en ŝerĉo de skemoj en tekstoj.