| dbpprop:abstract
|
- A finite state machine (FSM) or finite state automaton, or simply a state machine, is a model of behavior composed of a finite number of states, transitions between those states, and actions. A finite state machine is an abstract model of a machine with a primitive internal memory.
- Ein endlicher Automat (EA, auch Zustandsmaschine, englisch finite state machine) ist ein Modell des Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen. Ein Automat heißt endlich, wenn die Menge der Zustände, die er annehmen kann (später S genannt), endlich ist. Ein EA ist ein Spezialfall aus der Menge der Automaten. Ein Zustand speichert die Information über die Vergangenheit, d.h. er reflektiert die Änderungen der Eingabe seit dem Systemstart bis zum aktuellen Zeitpunkt. Ein Zustandsübergang zeigt eine Änderung des Zustandes des EA und wird durch logische Bedingungen beschrieben, die erfüllt sein müssen, um den Übergang zu ermöglichen. Eine Aktion ist die Ausgabe des EA, die in einer bestimmten Situation erfolgt. Es gibt vier Typen von Aktionen Eingangsaktion Ausgabe wird beim Eintreten in einen Zustand generiert Ausgangsaktion Ausgabe wird beim Verlassen eines Zustandes generiert Eingabeaktion Ausgabe wird abhängig vom aktuellen Zustand und Eingabe generiert Übergangsaktion Ausgabe wird abhängig von einem Zustandsübergang generiert Ein EA kann als Zustandsübergangsdiagramm wie in Abbildung 1 dargestellt werden. Zusätzlich werden mehrere Typen von Übergangstabellen (bzw. Zustandsübergangstabellen) benutzt. Die folgende Tabelle zeigt eine sehr verbreitete Form von Übergangstabellen: die Kombination aus dem aktuellen Zustand (B) und Eingabe (Y) führt zum nächsten Zustand (C). Die komplette Information über die möglichen Aktionen wird mit Hilfe von Fußnoten angegeben. Eine Definition des EA, die auch die volle Ausgabeinformation beinhaltet, ist mit Zustandstabellen möglich, die für jeden Zustand einzeln definiert werden. Die Definition des EA wurde ursprünglich in der Automatentheorie eingeführt und später in der Computertechnik übernommen. Zustandsmaschinen werden hauptsächlich in der Entwicklung digitaler Schaltungen, Modellierung des Applikationsverhaltens (Steuerungen), generell in der Softwaretechnik sowie Wort- und Spracherkennung benutzt.
- Un autòmat finit (AF) o màquina d'estats finits (FSM de l'anglès Finite State Machine) és un model matemàtic d'un sistema compost per estats, transicions i accions. Un estat emmagatzema informació del passat. Una transició indica un canvi d'estat i es descriu per la condició que és necessària acomplir per activar la transició. Una acció és una descripció d'una activitat que es realitza en un moment donat. D'accions n'hi ha de diversos tipus: Acció d'entrada executa l'acció quan s'entra a l'estat. Acció de sortida executa l'acció quan s'abandona l'estat. Acció d'Input executa l'acció depenent de l'estat actual i les condicions d'entrada. Acció de Transició executa l'acció quan succeeix una certa transició.
- Konečný automat (KA, též FSM z anglického finite state machine) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků. Popisuje velice jednoduchý počítač, který může být v jednom z několika stavů, mezi kterými přechází na základě symbolů, které čte ze vstupu. Množina stavů je konečná (odtud název), konečný automat nemá žádnou další paměť kromě informace o aktuálním stavu. Konečný automat je velice jednoduchý výpočetní model, dokáže rozpoznávat pouze regulární jazyky. Konečné automaty se používají pro zpracování regulárních výrazů, např. jako součást lexikálního analyzátoru v překladačích. V informatice rozlišujeme automat Mealyho a Mooreův.
- Un autómata finito o máquina de estado finito es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
- Ää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ädeterminisissä ää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.
- Un automate fini (on dit parfois machine à états finie), en anglais finite state automaton ou finite state machine (FSA, FSM), est une machine abstraite utilisée en théorie de la calculabilité et dans l'étude des langages formels. C'est un outil fondamental en Informatique, où il intervient notamment en compilation des langages informatiques (procédé permettant de passer d'un langage de haut niveau en langage machine binaire). Un automate est constitué d'états et de transitions. Son comportement est dirigé par un mot fourni en entrée : l'automate passe d'état en état, suivant les transitions, à la lecture de chaque lettre de l'entrée. L'automate est dit « fini » car il possède un nombre fini d'états distincts : il ne dispose donc que d'une mémoire bornée. Un automate fini forme un graphe orienté étiqueté, dont les états sont les sommets et les transitions les arêtes étiquetées.
- Un automa a stati finiti (ASF) è un sistema dinamico, invariante, discreto nell'avanzamento e nelle interazioni nel quale gli insiemi dei possibili valori di ingresso, uscita e stato sono insiemi finiti. dinamico: evolve nel tempo passando da uno stato all'altro in funzione dei segnali d'ingresso e dello stato precedente; invariante: a parità di condizioni iniziali il comportamento del sistema è sempre lo stesso; discreto: le variabili d'ingresso, di stato, d'uscita, possono assumere solo valori discreti. L' automa a stati finiti è un modello di calcolo semplice rappresentabile come un piccolo dispositivo, che mediante una testina legge una stringa di input su un nastro e la elabora, facendo uso di un meccanismo molto semplice di calcolo e di una memoria limitata. L'esame della stringa avviene un carattere alla volta attraverso precisi passi computazionali che comportano l'avanzamento della testina. In sostanza un ASF è un caso particolare di macchina di Turing, utilizzato per l'elaborazione di quei linguaggi che nelle Grammatiche di Chomsky sono definiti di Tipo 3 o Regolari. Distinguiamo due tipi di automi a stati finiti: gli automi a stati finiti deterministici (ASFD) e gli automi a stati finiti non deterministici ASFND.
- 有限オートマトン（ゆうげん-、finite automaton、FA)または有限状態機械（ゆうげんじょうたいきかい、finite state machine、FSM）とは、有限個の状態と遷移と動作の組み合わせからなる「ふるまいのモデル」である。
- Een eindige toestandsautomaat is een model voor het gedrag voor een systeem, bestaande uit een eindig aantal toestanden, overgangen tussen die toestanden en acties. Eindige toestandsautomaten worden toegepast in de theorie van berekenbaarheid in de wiskunde en in formele talen in de informatica. Eindige toestandsautomaten zijn gebaseerd op grafen en beschrijven een klasse van formele talen die reguliere talen heten. Binnen de eindige toestandsautomaten onderscheiden we twee soorten van automaten, de deterministische eindige automaten en de niet-deterministische eindige automaten . Deze automaten zijn aan verschillende regels onderworpen, maar beschrijven dezelfde klasse van talen.
- Automat skończony (ang. finite state machine, FSM) to abstrakcyjny, matematyczny, iteracyjny model zachowania systemu dynamicznego oparty o tablicę dyskretnych przejść między jego kolejnymi stanami. Ze względu na charakter przejść między stanami, wyróżnia się deterministyczne i niedeterministyczne automaty skończone. Automaty skończone są ważnym narzędziem teoretycznym w tworzeniu i testowaniu oprogramowania, a jako modele szerszych procesów znajdują także swoje zastosowanie w matematyce i logice, lingwistyce, filozofii, czy biologii. Maszyna Turinga jest generalizacją automatu skończonego operującą na nieskończonej pamięci.
- Uma máquina de estados finitos ou Autômato Finito é uma modelagem de um comportamento, composto por estados, transições e ações. Um estado armazena informações sobre o passado, isto é, ele reflete as mudanças desde a entrada num estado, no início do sistema, até o momento presente. Uma transição indica uma mudança de estado e é descrita por uma condição que precisa ser realizada para que a transição ocorra. Uma ação é a descrição de uma atividade que deve ser realizada num determinado momento. Existem diversos tipos de ação: Ação de entrada (no estado): executa a ação quando entra no estado. Ação de saída: executa a ação quando sai do estado. Ação da entrada (da input): executa a ação dependendo do estado presente ou das condições da entrada. Ação de transição: executa a ação quando ocorre uma determinada transição. Máquinas de estados finitos podem ser representadas por meio de um diagrama de estados. Diversas tabelas de transição de estados são usadas. Através do uso das tabelas podemos representar uma de máquina finita de estados que contenha informações completas sobre as ações. As máquinas de estados finitos foram originalmente definidas na Teoria de Autômatos e depois retomadas na Teoria da Computação. Elas são largamente utilizadas na modelagem de comportamento de aplicativos, projeto de hardware de sistemas digitais, engenharia de software, no estudo da computação e das linguagens.
- Un automat finit (AF) sau o maşină cu stări finite este un model de comportament compus din stări, tranziţii şi acţiuni. O stare stochează informaţii despre trecut, adică reflectă schimbările intrării de la iniţializarea sistemului până în momentul de faţă. O tranziţie indică o schimbare de stare şi este descrisă de o condiţie care este nevoie să fie îndeplinită pentru a declanşa tranziţia. O acţiune este o descriere a unei activităţi ce urmează a fi executată la un anumit moment. Există câteva tipuri de acţiuni: Acţiune de intrare executată la intrarea într-o stare Acţiune de ieşire executată la ieşirea dintr-o stare Acţiune de intrare de date acţiune executată în funcţie de starea prezentă şi de datele de intrare Acţiune de tranziţie acţiune executată în momentul unei tranziţii AF poate fi reprezentat printr-o diagramă de stări (sau diagramă de stări şi tranziţii) ca în figura 1. În plus, se folosesc şi tabele de tranziţie. Cea mai comună reprezentare este dată mai jos: combinaţia stării curente (B) şi condiţiei (Y) dă starea următoare (C). Informaţii complete privind acţiunile pot fi adăugate doar ca note de subsol. În plus faţă de utilizarea lor în modelarea sistemelor reactive, prezentată aici, automatele finite sunt importante în multe domenii, inclusiv în lingvistică, informatică, filosofie, biologie, matematică, şi logică. Maşinile cu stări finite sunt un tip de automate studiate de teoria automatelor. În informatică, automatele finite sunt folosite pe larg în modelarea comportamentului aplicaţiilor, proiectarea sistemelor digitale hardware, ingineria software, compilatoare, şi în studiul computaţiei şi limbajelor.
- Конечный автомат — в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно. Конечный автомат является частным случаем абстрактного автомата. Существуют различные варианты задания конечного автомата. Например, конечный автомат может быть задан с помощью пяти параметров: <math>\boldsymbol{M = (Q, \Sigma, \delta, q_0, F)}</math> где: Q — конечное множество состояний автомата; q0 — начальное состояние автомата (<math> q_0 \in Q</math>); F — множество заключительных (или допускающих) состояний, таких что <math>F \subset Q</math>; Σ — допустимый входной алфавит (конечное множество допустимых входных символов), из которого формируются строки, считываемые автоматом; δ — заданное отображение множества <math>Q \times \Sigma</math> во множество <math>\mathcal {P} (Q)</math> подмножеств Q: <math>\delta : Q \times \Sigma \rightarrow \mathcal {P} (Q)</math> (иногда δ называют функцией переходов автомата). Автомат начинает работу в состоянии q0, считывая по одному символу входной строки. Считанный символ переводит автомат в новое состояние из Q в соответствии с функцией переходов. Если по завершении считывания входного слова (цепочки символов) автомат оказывается в одном из допускающих состояний, то слово «принимается» автоматом. В этом случае говорят, что оно принадлежит языку данного автомата. В противном случае слово «отвергается». Конечные автоматы широко используются на практике, например в синтаксических, лексических анализаторах, и тестировании программного обеспечения на основе моделей.
- Ändliga automater eller finita automater är en beräkningsmodell som används inom datavetenskap. Automaten består av ett (ändligt) alfabet, en ändlig mängd av tillstånd samt övergångar mellan tillstånden. Ett av tillstånden är starttillstånd och en delmängd av tillståndsmängden är accepterande sluttillstånd. Det vill säga alla reguljära uttryck kan beskrivas som ändliga automater och alla ändliga automater kan skrivas som reguljära uttryck.
- Sonlu durum makinası, (veya sonlu durum otomatı veya basitçe durum makinası) sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.
- Скінче́нний автома́т, є особливим видом автомату — абстракції, що використовується для описання шляху зміни стану об'єкту в залежності від досягнутого стану та інформації отриманої ззовні. Його особливістю є скінченність множини станів автомату.
- 有限状态机（Finite State Machine）又稱有限状态自动机或简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。
|
| rdfs:comment
|
- A finite state machine (FSM) or finite state automaton, or simply a state machine, is a model of behavior composed of a finite number of states, transitions between those states, and actions. A finite state machine is an abstract model of a machine with a primitive internal memory.
- Ein endlicher Automat (EA, auch Zustandsmaschine, englisch finite state machine) ist ein Modell des Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen. Ein Automat heißt endlich, wenn die Menge der Zustände, die er annehmen kann (später S genannt), endlich ist. Ein EA ist ein Spezialfall aus der Menge der Automaten. Ein Zustand speichert die Information über die Vergangenheit, d.h.
- Un autòmat finit (AF) o màquina d'estats finits (FSM de l'anglès Finite State Machine) és un model matemàtic d'un sistema compost per estats, transicions i accions. Un estat emmagatzema informació del passat. Una transició indica un canvi d'estat i es descriu per la condició que és necessària acomplir per activar la transició. Una acció és una descripció d'una activitat que es realitza en un moment donat.
- Konečný automat (KA, též FSM z anglického finite state machine) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků. Popisuje velice jednoduchý počítač, který může být v jednom z několika stavů, mezi kterými přechází na základě symbolů, které čte ze vstupu. Množina stavů je konečná (odtud název), konečný automat nemá žádnou další paměť kromě informace o aktuálním stavu.
- Un autómata finito o máquina de estado finito es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
- Ää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.
- Un automate fini (on dit parfois machine à états finie), en anglais finite state automaton ou finite state machine (FSA, FSM), est une machine abstraite utilisée en théorie de la calculabilité et dans l'étude des langages formels. C'est un outil fondamental en Informatique, où il intervient notamment en compilation des langages informatiques (procédé permettant de passer d'un langage de haut niveau en langage machine binaire). Un automate est constitué d'états et de transitions.
- Un automa a stati finiti (ASF) è un sistema dinamico, invariante, discreto nell'avanzamento e nelle interazioni nel quale gli insiemi dei possibili valori di ingresso, uscita e stato sono insiemi finiti.
- 有限オートマトン（ゆうげん-、finite automaton、FA)または有限状態機械（ゆうげんじょうたいきかい、finite state machine、FSM）とは、有限個の状態と遷移と動作の組み合わせからなる「ふるまいのモデル」である。
- Een eindige toestandsautomaat is een model voor het gedrag voor een systeem, bestaande uit een eindig aantal toestanden, overgangen tussen die toestanden en acties. Eindige toestandsautomaten worden toegepast in de theorie van berekenbaarheid in de wiskunde en in formele talen in de informatica. Eindige toestandsautomaten zijn gebaseerd op grafen en beschrijven een klasse van formele talen die reguliere talen heten.
- Automat skończony (ang. finite state machine, FSM) to abstrakcyjny, matematyczny, iteracyjny model zachowania systemu dynamicznego oparty o tablicę dyskretnych przejść między jego kolejnymi stanami. Ze względu na charakter przejść między stanami, wyróżnia się deterministyczne i niedeterministyczne automaty skończone.
- Uma máquina de estados finitos ou Autômato Finito é uma modelagem de um comportamento, composto por estados, transições e ações. Um estado armazena informações sobre o passado, isto é, ele reflete as mudanças desde a entrada num estado, no início do sistema, até o momento presente. Uma transição indica uma mudança de estado e é descrita por uma condição que precisa ser realizada para que a transição ocorra.
- Un automat finit (AF) sau o maşină cu stări finite este un model de comportament compus din stări, tranziţii şi acţiuni. O stare stochează informaţii despre trecut, adică reflectă schimbările intrării de la iniţializarea sistemului până în momentul de faţă. O tranziţie indică o schimbare de stare şi este descrisă de o condiţie care este nevoie să fie îndeplinită pentru a declanşa tranziţia.
- Конечный автомат — в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно.
- Ändliga automater eller finita automater är en beräkningsmodell som används inom datavetenskap. Automaten består av ett (ändligt) alfabet, en ändlig mängd av tillstånd samt övergångar mellan tillstånden. Ett av tillstånden är starttillstånd och en delmängd av tillståndsmängden är accepterande sluttillstånd. Det vill säga alla reguljära uttryck kan beskrivas som ändliga automater och alla ändliga automater kan skrivas som reguljära uttryck.
- Sonlu durum makinası, (veya sonlu durum otomatı veya basitçe durum makinası) sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.
- Скінче́нний автома́т, є особливим видом автомату — абстракції, що використовується для описання шляху зміни стану об'єкту в залежності від досягнутого стану та інформації отриманої ззовні. Його особливістю є скінченність множини станів автомату.
- 有限状态机（Finite State Machine）又稱有限状态自动机或简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。
|
![[RDF Data]](/statics/sw-cube.png)
