Automata theory
http://dbpedia.org/resource/Automata_theory an entity of type: Thing
نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (بالإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية .
rdf:langString
Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar.Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.
rdf:langString
オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ（automata [ɔːˈtɑmətə]）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。
rdf:langString
Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących. Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore’a) w różnych wersjach oraz jego rozszerzenia: maszyna RAM, maszyna Turinga, i inne. Istnieje związek teorii automatów z teorią języków formalnych i gramatyk formalnych.
rdf:langString
Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов: автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результат по шагам заданного алгоритма. Существует алгебраическая трактовка теории автоматов, использующая полукольца, формальные степенные ряды, формальные ряды над деревьями, теорию неподвижных точек и теорию матриц.
rdf:langString
在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。
rdf:langString
Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні автомати — покрокові перетворювачі інформації; розділ кібернетики.[джерело?]
rdf:langString
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaços de resoldre. Alguns d'aquests models tenen un paper central en diverses aplicacions de les ciències de la computació, incloent processament de text, compilador és, disseny de maquinari i intel·ligència artificial. La teoria d'autòmats està estretament relacionada amb la teoria del llenguatge formal, ja que els autòmats són classificats sovint per la classe de llenguatges formals que són capaços de reconèixer.
rdf:langString
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre. La teoria d'autòmats està íntimament relacionada amb la teoria del llenguatge formal, ja que els autòmats es classifiquen sovint per les classes de llenguatges formals que són capaces de reconèixer.
rdf:langString
Teorie automatů (anglicky automata theory) je studium a automatů, včetně výpočetních problémů, které mohou být pomocí nich řešené. Jedná se o obor teoretické informatiky, která patří do diskrétní matematiky (předmět studia matematiky i matematické informatiky). Slovo automaty pochází z řeckého slova αὐτόματα, které znamená „samočinný“. Teorie automatů má těsnou souvislost s teorií formálních jazyků. Automat je konečnou reprezentací formálního jazyka, který může obsahovat nekonečný počet slov. Automaty jsou často klasifikovány třídou formálních jazyků, kterou mohou rozpoznat.
rdf:langString
Στη Θεωρητική πληροφορική, θεωρία αυτομάτων είναι η μελέτη των που ονομάζονται ή αυτόματα και των υπολογιστικών προβλημάτων που μπορούν να λυθούν με αυτά. Το σχήμα δεξιά παρουσιάζει μια , η οποία ανήκει σε μια γνωστή κατηγορία αυτομάτων. Το αυτόματο αυτό αποτελείται από (που απεικονίζονται με κύκλους), και μεταβάσεις (που απεικονίζονται με βέλη). Καθώς το αυτόματο βλέπει ένα σύμβολο εισόδου, εκτελεί μια μετάβαση (ή πήδημα) σε άλλη κατάσταση, ανάλογα με τη συνάρτηση μετάβασης (η οποία δέχεται την τρέχουσα κατάσταση και το τελευταίο σύμβολο ως εισόδους).
rdf:langString
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of inpu
rdf:langString
Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt. Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau sowie für den Entwurf von Programmiersprachen.
rdf:langString
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad computacional.
rdf:langString
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
rdf:langString
오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이다. 여기서 추상 기계를 오토마타(automata, 복수형) 또는 오토마톤(automaton, 단수형), 즉 자동 기계라고 부른다. 이 이름은 '자동'을 의미하는 그리스어 'αὐτόματα'에서 유래하였다. 일반적으로 오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다. 이는 알고리즘이 요구하는 것, 즉 계산 문제를 해결할 능력과 같다. 는 일반적으로 오토마타의 능력에 맞게 결정 문제로 환산되며, 이 때 추상 기계와 형식 언어, 형식 문법은 불가분의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다.
rdf:langString
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos. É objeto de estudo tanto da Ciência da Computação Teórica como da Matemática Discreta. A palavra autômato vem da palavra grega αὐτόματα que significa “autuação” (em tradução livre), isto é, sem influência externa. Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, inteligência artificial, análise sintática e verificação formal.
rdf:langString
Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade . Gemensamt för modellerna är att alla accepterar en mängd indata, genomför beräkningen och redovisar resultatet genom att leverera en mängd utdata. Automaten startar i ett väldefinierat starttillstånd och genomgår en serie av tillståndsförändringar, kallade exekvering, enligt ett förutbestämt program. Om automaten under exekveringen når ett bestämt stopptillstånd så stannar automaten och utdata blir tillgänglig för en utomstående observatör.
rdf:langString
rdf:langString
Automata theory
rdf:langString
نظرية التشغيل الذاتي
rdf:langString
Teoria d'autòmats
rdf:langString
Teoria d'Autòmats
rdf:langString
Teorie automatů
rdf:langString
Automatentheorie
rdf:langString
Θεωρία αυτομάτων
rdf:langString
Teoría de autómatas
rdf:langString
Teori otomata
rdf:langString
Théorie des automates
rdf:langString
오토마타 이론
rdf:langString
オートマトン
rdf:langString
Teoria automatów
rdf:langString
Teoria dos autômatos
rdf:langString
Теория автоматов
rdf:langString
Automatteori
rdf:langString
Теорія автоматів
rdf:langString
自動機理論
xsd:integer
103356
xsd:integer
1102545499
rdf:langString
y
rdf:langString
May 2019
rdf:langString
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaços de resoldre. Alguns d'aquests models tenen un paper central en diverses aplicacions de les ciències de la computació, incloent processament de text, compilador és, disseny de maquinari i intel·ligència artificial. La teoria d'autòmats està estretament relacionada amb la teoria del llenguatge formal, ja que els autòmats són classificats sovint per la classe de llenguatges formals que són capaços de reconèixer. Un autòmat és un model matemàtic per a una màquina d'estat finita (FSM les seves sigles en anglès). Una FSM és una màquina que, donada una entrada de símbols, "salta" a través d'una sèrie d'estats d'acord amb una funció de transició (que pot ser expressada com una taula). En la varietat comuna "Mealy" de FSMs, aquesta funció de transició diu a l'autòmat a quin estat canviar donats uns determinats estat i símbol. L'entrada és llegida símbol per símbol, fins que és "consumida" completament (pensi en aquesta com una cinta amb una paraula escrita en ella, que és llegida per un cap lectora de l'autòmat; el cap es mou al llarg de la cinta, llegint un símbol alhora) una vegada l'entrada s'ha esgotat, l'autòmat s'atura. Depenent de l'estat en què l'autòmat finalitza es diu que aquest ha acceptat o rebutjat l'entrada. Si aquest acaba en l'estat "accepta", l'autòmat accepta la paraula. Si ho fa en l'estat "rebutja", l'autòmat va rebutjar la paraula, el conjunt de totes les paraules acceptades per l'autòmat constitueixen el llenguatge acceptat pel mateix.
rdf:langString
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre. La teoria d'autòmats està íntimament relacionada amb la teoria del llenguatge formal, ja que els autòmats es classifiquen sovint per les classes de llenguatges formals que són capaces de reconèixer. Un autòmat és un model matemàtic per una màquina d'estats finits (FSM en les seves sigles en anglès). Una FSM és una màquina que, donada una entrada de símbols, "salta" a través d'una sèrie d'estats d'acord amb una funció de transició (que pot ser expressada com una taula). Si la màquina d'estats és del tipus anomenat "Mealy", aquesta funció de transició depèn de l'estat en què es troba la màquina i dels símbols d'entrada. L'entrada és llegida símbol a símbol, fins que és "consumida" completament (es pot pensar com una cinta amb una sèrie de símbols escrits, que es va llegint per un capçal lector; el capçal es mou al llarg de la cita, llegint un símbol a cada pas) un cop la cinta s'esgota, l'autòmat es deté. Depenent de l'estat en el que l'autòmat finalitza es diu que aquest ha acceptat o rebutjat l'entrada. Si la FSM acaba en un estat "acceptar", l'autòmat ha acceptat la paraula; i ho fa en un estat "rebutjar", l'autòmat ha rebutjat l'entrada. El conjunt de totes les paraules acceptades per l'autòmat formen el llenguatge acceptat per l'autòmat.
rdf:langString
Teorie automatů (anglicky automata theory) je studium a automatů, včetně výpočetních problémů, které mohou být pomocí nich řešené. Jedná se o obor teoretické informatiky, která patří do diskrétní matematiky (předmět studia matematiky i matematické informatiky). Slovo automaty pochází z řeckého slova αὐτόματα, které znamená „samočinný“. Obrázek vpravo znázorňuje konečný automat, který patří k dobře známému typu automatů. Tento automat sestává ze (reprezentovaných na obrázku kružnicemi) a přechodů (reprezentovaných šipkami). Když automat načte symbol ze vstupu, provede přechod (nebo skok) do jiného stavu, podle své přechodové funkce, která má jako parametry aktuální stav a načtený symbol. Teorie automatů má těsnou souvislost s teorií formálních jazyků. Automat je konečnou reprezentací formálního jazyka, který může obsahovat nekonečný počet slov. Automaty jsou často klasifikovány třídou formálních jazyků, kterou mohou rozpoznat. Automaty hrají hlavní roli v , při , v umělé inteligenci, syntaktické analýze a formální verifikaci.
rdf:langString
نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (بالإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية .
rdf:langString
Στη Θεωρητική πληροφορική, θεωρία αυτομάτων είναι η μελέτη των που ονομάζονται ή αυτόματα και των υπολογιστικών προβλημάτων που μπορούν να λυθούν με αυτά. Το σχήμα δεξιά παρουσιάζει μια , η οποία ανήκει σε μια γνωστή κατηγορία αυτομάτων. Το αυτόματο αυτό αποτελείται από (που απεικονίζονται με κύκλους), και μεταβάσεις (που απεικονίζονται με βέλη). Καθώς το αυτόματο βλέπει ένα σύμβολο εισόδου, εκτελεί μια μετάβαση (ή πήδημα) σε άλλη κατάσταση, ανάλογα με τη συνάρτηση μετάβασης (η οποία δέχεται την τρέχουσα κατάσταση και το τελευταίο σύμβολο ως εισόδους). Η θεωρία αυτομάτων είναι πολύ σχετική με τη θεωρία τυπικών γλωσσών.Ένα αυτόματο είναι η πεπερασμένη περιγραφή μιας τυπικής γλώσσας, η οποία μπορεί να είναι άπειρο σύνολο.Τα αυτόματα συνήθως κατηγοριοποιούνται ανάλογα με το είδος της τυπικής γλώσσας που αναγνωρίζουν. Τα αυτόματα παίζουν σημαντικό ρόλο στη θεωρία υπολογισμού, τη σχεδίαση μεταγλωττιστών, και την τυπική επαλήθευση.
rdf:langString
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of input, it makes a transition (or jump) to another state, according to its transition function, which takes the previous state and current input symbol as its arguments. Automata theory is closely related to formal language theory. In this context, automata are used as finite representations of formal languages that may be infinite. Automata are often classified by the class of formal languages they can recognize, as in the Chomsky hierarchy, which describes a nesting relationship between major classes of automata. Automata play a major role in the theory of computation, compiler construction, artificial intelligence, parsing and formal verification.
rdf:langString
Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt. Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau sowie für den Entwurf von Programmiersprachen. Die Automatentheorie befasst sich mit formalen Sprachen und formalen Grammatiken, die u. a. durch die Chomsky-Hierarchie typisiert werden, und mit Modellen für Automaten, die solche Sprachen verarbeiten können, insbesondere endliche Automaten, Kellerautomaten, Zellularautomaten und Turingmaschinen.
rdf:langString
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad computacional. Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla). En la variedad común "Mealy" de FSMs, esta función de transición dice al autómata a qué estado cambiar dados unos determinados estado y símbolo. La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente (piense en ésta como una cinta con una palabra escrita en ella, que es leída por una cabeza lectora del autómata; la cabeza se mueve a lo largo de la cinta, leyendo un símbolo a la vez) una vez la entrada se ha agotado, el autómata se detiene. Dependiendo del estado en el que el autómata finaliza se dice que este ha aceptado o rechazado la entrada. Si este termina en el estado "acepta", el autómata acepta la palabra. Si lo hace en el estado "rechaza", el autómata rechazó la palabra, el conjunto de todas las palabras aceptadas por el autómata constituyen el lenguaje aceptado por el mismo.
rdf:langString
Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar.Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.
rdf:langString
オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ（automata [ɔːˈtɑmətə]）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。
rdf:langString
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme :
* La calculabilité, par le modèle des machines de Turing ;
* Les automates finis, et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, la traduction des programmes par les compilateurs, divers algorithmes de manipulation de textes comme les algorithmes de recherche de sous-chaîne, ou la vérification automatique du fonctionnement de circuits logiques;
* La théorie de la complexité des algorithmes, visant à classifier les algorithmes en fonction des ressources temporelles et en mémoire nécessaires à leur exécution ;
* La vérification de modèle qui sert à établir la conformité de programmes à leurs spécifications. Voir par exemple Coq. Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
rdf:langString
오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이다. 여기서 추상 기계를 오토마타(automata, 복수형) 또는 오토마톤(automaton, 단수형), 즉 자동 기계라고 부른다. 이 이름은 '자동'을 의미하는 그리스어 'αὐτόματα'에서 유래하였다. 일반적으로 오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다. 이는 알고리즘이 요구하는 것, 즉 계산 문제를 해결할 능력과 같다. 는 일반적으로 오토마타의 능력에 맞게 결정 문제로 환산되며, 이 때 추상 기계와 형식 언어, 형식 문법은 불가분의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다. 오토마톤 이론이란 오토마톤을 연구하는 학문이지만, 다른 표현 방식을 빌린다면 ‘대상의 어떤 기능에 주목하여, 입력과 내부 출력 각 신호의 상호관계를 수학모델로 옮기고, 이 모델을 수학적으로 고찰 ·결론을 유도한다. 그리고 이 유도된 결론을 다시 원래의 대상에 꼭 들어맞춰서 해석한다고 하는 일련의 과정의 일부 또는 전부’에 관계되는 것이다. 그리고 대상의 구성요소의 성질 등에는 그리 관여하지 않는다. 오토마타는 컴퓨터 구조 설계와 컴파일러 설계, 파싱, 의 등의 중요한 요소다.
rdf:langString
Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących. Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore’a) w różnych wersjach oraz jego rozszerzenia: maszyna RAM, maszyna Turinga, i inne. Istnieje związek teorii automatów z teorią języków formalnych i gramatyk formalnych.
rdf:langString
Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов: автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результат по шагам заданного алгоритма. Существует алгебраическая трактовка теории автоматов, использующая полукольца, формальные степенные ряды, формальные ряды над деревьями, теорию неподвижных точек и теорию матриц.
rdf:langString
Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade . Gemensamt för modellerna är att alla accepterar en mängd indata, genomför beräkningen och redovisar resultatet genom att leverera en mängd utdata. Automaten startar i ett väldefinierat starttillstånd och genomgår en serie av tillståndsförändringar, kallade exekvering, enligt ett förutbestämt program. Om automaten under exekveringen når ett bestämt stopptillstånd så stannar automaten och utdata blir tillgänglig för en utomstående observatör. Inom automatteorin studeras flera olika modeller för automater med olika egenskaper och olika beräkningsförmåga, de vanligaste modellerna är dock finita automater, eller , samt Turingmaskiner. Beräkningsmodellerna inom automatteori ligger som grund för imperativa programspråk.
rdf:langString
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos. É objeto de estudo tanto da Ciência da Computação Teórica como da Matemática Discreta. A palavra autômato vem da palavra grega αὐτόματα que significa “autuação” (em tradução livre), isto é, sem influência externa. A figura ao lado ilustra uma máquina de estados finito, que pertence a uma variedade bem conhecida de autômato. Este autômato consiste em estados (representados na figura por círculos), e transições (representadas por setas). Quando o autômato recebe um símbolo de entrada, ele faz uma transição (ou salto) para outro estado, de acordo com sua função de transição (que tem como entradas o estado atual e o símbolo recente).Teoria dos autômatos também está profundamente relacionada à teoria das linguagens formais. Um autômato é uma representação finita de uma linguagem formal que pode ser um conjunto infinito. Autômatos são frequentemente classificados pela classe das linguagens formais que são capazes de reconhecer, tipicamente ilustrado pela hierarquia de Chomsky, que descreve as relações entre várias línguas e tipos de lógica formalizada. Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, inteligência artificial, análise sintática e verificação formal.
rdf:langString
在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。
rdf:langString
Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні автомати — покрокові перетворювачі інформації; розділ кібернетики.[джерело?]
xsd:nonNegativeInteger
32442
