Indholdsfortegnelse:
Definition - Hvad betyder statsmaskine?
En tilstandsmaskine er et koncept, der bruges til at designe computerprogrammer eller digital logik. Der er to typer af tilstandsmaskiner: endelige og uendelige tilstandsmaskiner. Førstnævnte består af et begrænset antal tilstande, overgange og handlinger, der kan modelleres med flowgrafer, hvor logikens sti kan detekteres, når betingelserne er opfyldt. Sidstnævnte anvendes ikke praktisk.
En tilstandsmaskine er enhver enhed, der gemmer status for noget på et givet tidspunkt. Statusændringerne er baseret på input, hvilket giver den resulterende output for de implementerede ændringer. En endelig tilstandsmaskine har endelig intern hukommelse. Indgangssymboler læses i en sekvens, der producerer en outputfunktion i form af en brugergrænseflade.
Tilstandsmaskiner er repræsenteret ved hjælp af tilstandsdiagrammer. Output fra en tilstandsmaskine er en funktion af indgangen og den aktuelle tilstand. Statlige maskiner spiller en betydelig rolle inden for områder som elektroteknik, lingvistik, datalogi, filosofi, biologi, matematik og logik. De bruges bedst til modellering af applikationsadfærd, softwareteknik, design af hardware-digitale systemer, netværksprotokoller, compilere og studiet af beregning og sprog.
Techopedia forklarer State Machine
Betjeningen af en tilstandsmaskine begynder fra en starttilstand. Ved en vellykket overgang ender den i en acceptabel tilstand. Overgangen finder sted baseret på de leverede input. Den aktuelle tilstand afhænger af systemets tidligere tilstand. Antallet af dannede tilstande afhænger af de tilgængelige hukommelsestilstander. En overgang er aktiveret baseret på visse betingelser og indikerer en tilstandsændring. En handling beskriver en aktivitet, der udføres på det givne tidspunkt. De forskellige typer handlinger er overgangsaktion, input handling, entry action og exit handling.
Deterministiske automatik har nøjagtigt en overgang i hver tilstand for hvert muligt input. I ikke-deterministiske automatik fører et tilstandsinput til en, mange eller ingen overgange. En tilstandsmaskine med kun en tilstand kaldes en kombinatorisk tilstandsmaskine og bruger kun inputhandlinger.
De to forskellige grupper af statsmaskiner er acceptorer og transducere. Acceptorer producerer en binær output, baseret på om input er accepteret eller afvist af maskinen. Under behandling af input, accepteres input, hvis den aktuelle tilstand accepteres. Ellers afvises det. Sprog, der accepteres af statslige maskiner, kaldes almindelige sprog. Starttilstande er repræsenteret af en pil, der peger på den overalt, mens accepterede tilstande er repræsenteret ved hjælp af dobbeltcirkler. Transducere imødekommer output baseret på et givet input ved hjælp af handlinger. Moore og Mealy maskiner er eksempler på transducere.
Umodificerede modelleringssprogtilstandsmaskiner bruges også i vid udstrækning, da de har både Moore- og Mealy-maskineegenskaber inden for dem. De inkluderer yderligere koncepter såsom ortogonale regioner og hierarkisk indlejrede stater.
