Innehållsförteckning:
Definition - Vad betyder State Machine?
En tillståndsmaskin är ett koncept som används vid design av datorprogram eller digital logik. Det finns två typer av tillståndsmaskiner: ändliga och oändliga tillståndsmaskiner. Den förstnämnda består av ett begränsat antal tillstånd, övergångar och åtgärder som kan modelleras med flödesdiagram, där logikens väg kan upptäckas när villkoren är uppfyllda. Det senare används inte praktiskt.
En tillståndsmaskin är alla enheter som lagrar statusen för något vid en viss tidpunkt. Status ändras baserat på ingångar, vilket ger den resulterande utdata för de implementerade ändringarna. En finite state-maskin har ändligt internt minne. Ingångssymboler läses i en sekvens som producerar en utgångsfunktion i form av ett användargränssnitt.
Tillståndsmaskiner representeras med hjälp av tillståndsdiagram. Utgången från en tillståndsmaskin är en funktion av ingången och det aktuella tillståndet. Statliga maskiner spelar en viktig roll inom områden som elektroteknik, lingvistik, datavetenskap, filosofi, biologi, matematik och logik. De används bäst i modellering av applikationsbeteende, mjukvaruteknik, design av digitala hårdvarusystem, nätverksprotokoll, kompilatorer och studier av beräkning och språk.
Techopedia förklarar State Machine
Drift av en tillståndsmaskin börjar från ett startläge. Vid en framgångsrik övergång hamnar den i ett acceptabelt tillstånd. Övergången sker baserat på de ingivna insatserna. Det aktuella tillståndet beror på systemets tidigare tillstånd. Antalet bildade tillstånd beror på tillgängliga minnestillstånd. En övergång är aktiverad baserat på vissa villkor och indikerar en statusändring. En åtgärd beskriver en aktivitet som utförs vid det aktuella ögonblicket. De olika typerna av handlingar är övergångsåtgärder, inmatningsåtgärder, inmatningsåtgärder och utgångsåtgärder.
Deterministiska automater har exakt en övergång i varje tillstånd för varje möjlig ingång. I icke-deterministiska automatik leder en tillståndsinmatning till en, många eller inga övergångar. En tillståndsmaskin med endast ett tillstånd kallas en kombinerande tillståndsmaskin och använder endast inmatningsåtgärder.
De två olika grupperna av statliga maskiner är acceptorer och givare. Acceptorer producerar en binär utgång, baserat på om ingången accepteras eller avvisas av maskinen. Vid bearbetning av ingången accepteras ingången om det aktuella tillståndet accepterar. Annars avvisas det. Språk som accepteras av statliga maskiner kallas vanliga språk. Starttillstånd representeras av en pil som pekar på den var som helst, medan accepterade tillstånd representeras med dubbla cirklar. Givare tillhandahåller output baserat på en given input med hjälp av åtgärder. Moore och Mealy-maskiner är exempel på givare.
Omodifierade modelleringsspråkmaskiner används också ofta eftersom de har både Moore- och Mealy-maskinens egenskaper. De inkluderar ytterligare begrepp som ortogonala regioner och hierarkiskt kapslade stater.
