Äärellinen automaatti

Äärellinen automaatti on tietojenkäsittelytieteen automaattiteoriassa, kieliteknologiassa ja generatiivisessa kielitieteessä käytetty käsite, joka viittaa tehtävän, kielen tai vaikkapa tietojoukon mallintamiseen eräänlaisena tilojen ja niiden välisten relaatioiden tai siirtymien joukkona. Äärellinen automaatti on malli äärellistilaiselle tietokoneelle, joka saa syötteen merkki kerrallaan.
Automaatit jaetaan niiden tilasiirtymien ominaisuuksien mukaan kahteen ryhmään: epädeterministisissä äärellisissä automaateissa on tyhjiä kaaria, joita merkitään joko lambdalla 'λ' tai epsilonilla 'ε', ja kutsutaan sovellusalueesta riippuen vaikkapa vapaiksi siirtymiksi, tai tyhjäksi syötteeksi. Tällaisen kaaren tarkoitus on mahdollistaa vapaa siirtyminen tilasta toiseen, joka usein helpottaa automaatin kokoamista. Toinen erikoistapaus kaaren paino tai todennäköisyys, jotka viittaavat siirtymän valintaan jonkinasteisen sattuman mukaan. 
Äärellisiä automaatteja tyypillisesti kuvataan graafisesti siten, että tiloja merkitään ympyröillä tai ellipseillä, ja tilojen välisiä siirtymiä merkitään nuolilla. Sekä tilat, että siirtymät ovat nimettyjä. Tilojen nimet kirjoitetaan tässä ympyrän sisälle, ja siirtymien nimet kaaren päälle tai sen läheisyyteen.
Deterministinen äärellinen automaatti.
Deterministinen äärellinen automaatti, lyh. "DFA" ("engl. deterministic finite-state automaton") on tila-automaatti, jossa kustakin tilasta voi olla vain yksiselitteisiä tilasiirtymiä muualle. Tällaisen automaatin erottamisen peruste on, että näin voidaan koneellisesti tai mekaanisesti läpikäydä automaattia ilman epäselvyyksiä tai välivaiheita.
DFA:n määrittely.
Deterministinen äärellinen automaatti määritellään viisikkona ( Q, Σ, δ, q̂, F ) jossa:
DFA voidaan esittää graafisesti graafina, jolloin automaatin tila piirretään solmuina, alkutila merkitään siihen tyhjästä osoittavalla nuolella, ja hyväksyvät lopputilat kaksinkertaisilla ympyröillä. Tilasiirtymät piirretään kaarina tilojen välille. Kaaret nimetään kielen aakkoston mukaan, samasta tilasta voi olla vain yksi samanniminen lähtökaari.
DFA:n toiminta.
DFA aloittaa toimintansa alkutilasta q̂ ja lukee syöteaakkostoon kuuluvia merkkejä. Merkin lukemisen seurauksena voi tapahtua kaksi asiaa: jos siirtymä δ(q, a) on määritelty, automaatti siirtyy tilaan δ(q, a), muutoin automaatti lakkaa olemasta missään tilassa.
Deterministinen äärellinen automaatti D hyväksyy kielen merkkijonon α jos ja vain jos α:n lukeminen vie D:n alkutilasta johonkin lopputilaan.
Äärellinen automaatti kuvaa siis yleensä kaikkia mahdollisia siirtymäreittejä alkutilasta lopputilaan oikeina ratkaisuina, kun taas mikä tahansa automaatin seuraaminen joka päätyisi muualle kuin lopputilaan antaisi virheellisen tuloksen.
DFA:n operaatioita.
DFA:n osittainen tilasiirtymäfunktio δ voidaan täydentää täydelliseksi. Tämä tapahtuu lisäämällä uusi hylkäävä tila, nimeltään vaikkapa qr (R = "reject"), ja vetämällä kaari (qr, a, qr) jokaiselle a ∈ Σ ja (q, a, qr) jokaiselle q ∈ Q ja a ∈ Σ, joille δ(q, a) ei ole määritelty.
DFA:n voidaan komplementoida, jolloin aakkostosta Σ muodostetun kielen ℒ komplementti ℒ - Σ* on ne merkkijonot, jotka eivät kuulu ℒ:ään. Tämä tapahtuu muuntamalla kaikki lopputilat ei-lopputiloiksi ja ei-lopputilat lopputiloiksi. Ennen tätä operaatiota DFA:n tilasiirtymäfunktio on muutettava täydeksi.
Saavuttamattomien tilojen poisto: jos DFA:ssa on tiloja, joita ei voida saavuttaa alkutilasta, ne voidaan poistaa kielen muuttumatta. Tämä onnistuu valitsemalla joukkoon Q' vain ne tilat, joihin on polku alkutilasta.
Automaatin minimointi: saman kielen hyväksyviä automaatteja on äärettömän monta. Niitä voidaan konstruktoida vaikka lisäämällä loputtomasti tiloja, joihin ei ole kaaria mistään. Saavuttamattomien tilojen poisto tekee osan minimoinnista, mutta ei täydellistä. Automaatin minimointi tapahtuu etsimällä tilojen joukkoja, "lohkoja", jotka hyväksyvät saman kielen. Lohkot voidaan yhdistää tiloiksi, ja lohkojen väliset siirtymät näiden tilojen välisiksi siirtymiksi.
Minimoitu DFA, josta on poistettu saavuttamattomat tilat on yksikäsitteinen, ja hyväksyy saman kielen kuin alkuperäinen DFA.
Tuloautomaatti: Kahden DFA:n tuloautomaatti muodostaa automaatin, jonka hyväksymä kieli on sama kuin automaattien kielen leikkaus. Se voidaan muodostaa seuraavilla operaatioilla:
Epädeterministinen äärellinen automaatti.
Epädeterministinen äärellinen automaatti, lyh. "NFA" ("engl. non-deterministic finite-state automaton") on tila-automaatti, jossa kustakin tilasta voi olla samalla aakkosella tilasiirtymiä useampaan kuin yhteen tilaan. Nimessä oleva osa epädeterministinen tulee siitä, että saman ratkaisun tuottavat tilat voidaan käydä lävitse useampaa kuin yhtä polkua pitkin kulkemalla. NFA:n ilmaisuvoima ei ole suurempi kuin DFA:n, mutta tietyntyyppiset DFA:t voi ilmaista huomattavasti yksinkertaisemmilla tilakoneilla NFA:ta käyttäen. Mielivaltaisesta epädeterministisestä äärellisestä automaatista voidaan muodostaa algoritmisesti saman kielen hyväksymä vastaava deterministinen automaatti.
NFA:ssa DFA:n osittainen tilasiirtymäfunktio δ korvataan tilasiirtymärelaatioilla, joka merkitään Δ. NFA on "ystävällisesti epädeterministinen", ja hyväksyy merkkijonon α, jos on olemassa polku q̂─α→q, jossa q ⊂ F. Eli valitsee aina hyväksyntään johtavan tavan jos sellainen on olemassa.
Sovellutuksia.
Äärellisillä automaateilla voidaan mallintaa formaaleja kieliä. Tällöin äärellinen automaatti muodostetaan siten, että siirtymäkaaret ovat kielen aakkoston symboleita, ja kaikki onnistuneet matkat alkutilasta lopputilaan kuvaavat siirtymäjoukoillaan kaikkia kielen sallittuja ilmauksia. Automaatin tunnistama kieli on sen hyväksymien syötteiden joukko. 
Äärellisillä automaateilla on kielenmallinnuksessa suora yhteys säännöllisiin ilmauksiin. Säännölliset ilmaukset voi konvertoida äärellisiksi automaateiksi hyvin yksinkertaisella ja intuitiivisella mekaniikalla. Tyypillisesti tässä käytetään apuna indeterminististä automaattia joka determinisoidaan tarvittaessa lopuksi. Esimerkiksi olkoot a, b mielivaltaisia aakkoston kirjainjoukkoja joita vastaa automaatissa joukko tiloja ja kaaria: