In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The Muller automaton is defined using a Muller acceptance condition, i.e. the set of all states visited infinitely often must be an element of the acceptance set. Both deterministic and non-deterministic Muller automata recognize the ω-regular languages. They are named after David E. Muller, an American mathematician and computer scientist, who invented them in 1963.
| Attributes | Values |
|---|
| rdfs:label
| - Mullerův automat (cs)
- Muller-Automat (de)
- Automate de Muller (fr)
- Muller automaton (en)
- Autômato de Muller (pt)
|
| rdfs:comment
| - Mullerův automat je v teorii automatů ω-automat, tedy konečný automat, který rozpoznává slova nekonečné délky. Automat akceptuje nekonečné slovo, pokud všechny jeho stavy, které byly během výpočtu navštíveny nekonečněkrát patří do množiny koncových stavů. Automat je pojmenován po americkém matematikovi a informatikovi , který ho vynalezl v roce 1963. (cs)
- Den Muller-Automat bezeichnet in der Automatentheorie ein 1963 von vorgestelltes Konzept eines ω-Automaten. Dieser Typ – deterministisch wie nichtdeterministisch – hat die gleiche Ausdrucksstärke wie nichtdeterministische Büchi-Automaten. Im Gegensatz dazu wird die Menge der unendlich oft besuchten Zustände genau festgelegt, was präzisere Aussagen zum Akzeptanzverhalten zulässt. (de)
- En informatique théorique, et en particulier en théorie des automates, un automate de Muller est un automate fini reconnaissant des mots infinis, doté d'une famille d'ensemble d'états terminaux distingués. Le mode de reconnaissance est le suivant : un mot infini est accepté par l'automate s'il est l'étiquette d'un chemin qui passe une infinité de fois par les états d'un des ensembles d'états terminaux distingués. Ce type d'automate a été introduit par David E. Muller en 1963. Ces automates — déterministes ou non — ont le même pouvoir de reconnaissance que les automates de Büchi. (fr)
- In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The Muller automaton is defined using a Muller acceptance condition, i.e. the set of all states visited infinitely often must be an element of the acceptance set. Both deterministic and non-deterministic Muller automata recognize the ω-regular languages. They are named after David E. Muller, an American mathematician and computer scientist, who invented them in 1963. (en)
- Na teoria dos autômatos, um Autômato de Muller é um tipo de . A condição de aceitação separa o autômato de Muller de outros ω-autômatos. Os autômatos de Muller são definidos usando a condição de aceitação de Muller, i.e. o conjunto de todos os estados viditados infinitamente comuns devem ser um elemento do conjunto de aceitação. Os autômatos de Muller determinísticos e não determinísticos reconhecem as linguagens ω-regulares. (pt)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Mullerův automat je v teorii automatů ω-automat, tedy konečný automat, který rozpoznává slova nekonečné délky. Automat akceptuje nekonečné slovo, pokud všechny jeho stavy, které byly během výpočtu navštíveny nekonečněkrát patří do množiny koncových stavů. Automat je pojmenován po americkém matematikovi a informatikovi , který ho vynalezl v roce 1963. (cs)
- Den Muller-Automat bezeichnet in der Automatentheorie ein 1963 von vorgestelltes Konzept eines ω-Automaten. Dieser Typ – deterministisch wie nichtdeterministisch – hat die gleiche Ausdrucksstärke wie nichtdeterministische Büchi-Automaten. Im Gegensatz dazu wird die Menge der unendlich oft besuchten Zustände genau festgelegt, was präzisere Aussagen zum Akzeptanzverhalten zulässt. (de)
- En informatique théorique, et en particulier en théorie des automates, un automate de Muller est un automate fini reconnaissant des mots infinis, doté d'une famille d'ensemble d'états terminaux distingués. Le mode de reconnaissance est le suivant : un mot infini est accepté par l'automate s'il est l'étiquette d'un chemin qui passe une infinité de fois par les états d'un des ensembles d'états terminaux distingués. Ce type d'automate a été introduit par David E. Muller en 1963. Ces automates — déterministes ou non — ont le même pouvoir de reconnaissance que les automates de Büchi. (fr)
- In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The Muller automaton is defined using a Muller acceptance condition, i.e. the set of all states visited infinitely often must be an element of the acceptance set. Both deterministic and non-deterministic Muller automata recognize the ω-regular languages. They are named after David E. Muller, an American mathematician and computer scientist, who invented them in 1963. (en)
- Na teoria dos autômatos, um Autômato de Muller é um tipo de . A condição de aceitação separa o autômato de Muller de outros ω-autômatos. Os autômatos de Muller são definidos usando a condição de aceitação de Muller, i.e. o conjunto de todos os estados viditados infinitamente comuns devem ser um elemento do conjunto de aceitação. Os autômatos de Muller determinísticos e não determinísticos reconhecem as linguagens ω-regulares. (pt)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is known for
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)