Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Automata theory
An Entity of Type:
academic subject
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Study of abstract machines and automata
Property
Value
dbo:
description
Teilgebiet der theoretischen Informatik
(de)
study of abstract machines and automata
(en)
Աբստրակտ մեքենաների և ավտոմատների ուսումնասիրություն
(hy)
étude des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul
(fr)
計算理論におけるアルゴリズム
(ja)
dbo:
thumbnail
wiki-commons
:Special:FilePath/DFAexample.svg?width=300
dbo:
wikiPageExternalLink
https://archive.org/details/computationfinit0000mins
http://www.augeas.net/libfa/index.html
https://archive.org/details/computationautom0000salo
http://www.brics.dk/automaton
dbo:
wikiPageWikiLink
dbr
:W._Ross_Ashby
dbr
:Abstract_machine
dbr
:Induction_of_regular_languages
dbr
:Konrad_Zuse
dbr
:System
dbr
:Differential_calculus
dbr
:Chapman_&_Hall
dbr
:Monoidal_category
dbr
:Conway's_Game_of_Life
dbr
:Compiler_construction
dbr
:Dana_Scott
dbr
:State_(computer_science)
dbr
:Context-free_language
dbr
:Muller_automaton
dbr
:Büchi_automaton
dbr
:Recursively_enumerable_language
dbr
:Cartesian_closed_category
dbr
:Pumping_lemma_for_regular_languages
dbr
:Artificial_intelligence
dbr
:Set_theory
dbr
:Cambridge_University_Press
dbr
:Natural_language
dbr
:Information_system
dbr
:Turing_machine_equivalents
dbr
:Abstract_algebra
dbr
:Deterministic_pushdown_automaton
dbc
:Automata_(computation)
dbr
:Deterministic_context-free_language
dbr
:Multitape_Turing_machine
dbr
:Functional_completeness
dbr
:John_Horton_Conway
dbr
:Combinational_logic
dbr
:Linear_bounded_automaton
dbr
:Automaton
dbr
:Effective_method
dbr
:Omega-regular_language
dbr
:Formal_language
dbr
:Parsing
dbr
:Colimit
dbr
:Limit_(category_theory)
dbr
:Groupoid
dbr
:Nondeterministic_Turing_machine
dbr
:Probabilistic_Turing_machine
dbr
:Edward_Fredkin
dbr
:Programming_language_specification
dbr
:Noam_Chomsky
dbr
:Probability
dbr
:Systems_theory
dbr
:Finite-state_machine
dbr
:Norbert_Wiener
dbr
:Stack_(abstract_data_type)
dbr
:Theoretical_computer_science
dbr
:Tree_automaton
dbr
:2-category
dbr
:John_von_Neumann
dbr
:Artificial_life
dbr
:Claude_Shannon
dbr
:Edward_F._Moore
dbr
:Michael_Sipser
dbr
:Rajeev_Motwani
dbr
:Michael_O._Rabin
dbr
:Myhill–Nerode_theorem
dbr
:Chomsky_hierarchy
dbr
:Marvin_Minsky
dbr
:Monoid
dbr
:Semigroup
dbr
:Context-free_grammar
dbr
:Stephen_Cole_Kleene
dbr
:Omega_language
dbr
:Category_(mathematics)
dbr
:Context-sensitive_language
dbr
:Irreducible_polynomial
dbr
:Symbol_(formal)
dbr
:DFA_minimization
dbr
:Finite_field
dbr
:Queue_(abstract_data_type)
dbr
:Pushdown_automaton
dbr
:Regular_language
dbr
:Theory_of_computation
dbr
:Log-space_transducer
dbr
:Formal_verification
dbr
:Boolean_differential_calculus
dbr
:Computational_problem
dbr
:The_Human_Use_of_Human_Beings
dbr
:Electronic_lock
dbr
:Infinite_tree_automaton
dbr
:Turing_machine
dbr
:Finite-state_transducer
dbr
:Rabin_automaton
dbr
:Recognizable_language
dbr
:Computational_complexity
dbr
:Deterministic_automaton
dbr
:Hybrid_automaton
dbr
:Clarendon_Press
dbr
:Igor_Aleksander
dbr
:An_Introduction_to_Cybernetics
dbr
:Text_processing
dbr
:Symbolic_language_(programming)
dbr
:Jeffrey_D._Ullman
dbr
:Weighted_automaton
dbr
:Tree_(automata_theory)
dbr
:Elaine_Rich
dbr
:Formal_languages
dbr
:Linear_bounded_automata
dbr
:N-tuple
dbr
:Omega_automaton
dbr
:Cellular_automata
dbr
:Streett_automaton
dbr
:Hardware_design
dbr
:Categories_of_groupoids
dbr
:Continuous_automata
dbr
:David_T._Barnard
dbr
:File:DFAexample.svg
dbr
:Geometric_automata
dbr
:Groupoid_category
dbr
:James_P._Schmeiser
dbr
:Nondeterministic_Push_Down_Automaton
dbr
:Sequential_machine
dbr
:Alphabet_(computer_science)
dbr
:Alternating_automaton
dbr
:Analog_automata
dbr
:Finite_automata
dbr
:Finite_automaton
dbr
:Metric_automata
dbr
:Formal_grammars
dbr
:Regular_languages
dbr
:Deterministic_Finite_Automaton
dbr
:Deterministic_Turing_machine
dbr
:Word_(mathematics)
dbr
:Countable
dbr
:Parity_automaton
dbr
:John_E._Hopcroft
dbr
:John_M._Howie
dbr
:Nondeterministic_Finite_Automaton
dbr
:Pushdown_automata
dbr
:Queue_machine
dbr
:Transition_table
dbp:
cs1Dates
y
(en)
dbp:
date
May 2019
(en)
dbp:
wikiPageUsesTemplate
dbt
:Formal_languages_and_grammars
dbt
:Authority_control
dbt
:Cite_book
dbt
:Reflist
dbt
:Use_dmy_dates
dbt
:ISBN
dbt
:Computer_science
dbt
:Industrial_and_applied_mathematics
dbt
:Hopcroft,_Motwani,_and_Ullman_2006
dbt
:Sipser_1997
dbt
:Mr
dbt
:Automata_theory
dbt
:Short_description
dct:
subject
dbc
:Automata_(computation)
gold:
hypernym
dbr
:Study
rdf:
type
dbo
:AcademicSubject
rdfs:
label
Automata theory
(en)
Teoria d'autòmats
(ca)
نظرية التشغيل الذاتي
(ar)
Teoria d'Autòmats
(ca)
Teorie automatů
(cs)
Θεωρία αυτομάτων
(el)
Teoría de autómatas
(es)
Automatentheorie
(de)
Teori otomata
(in)
Théorie des automates
(fr)
オートマトン
(ja)
오토마타 이론
(ko)
Teoria dos autômatos
(pt)
Teoria automatów
(pl)
Теорія автоматів
(uk)
Automatteori
(sv)
Теория автоматов
(ru)
自動機理論
(zh)
owl:
sameAs
yago-res
:Automata theory
freebase
:Automata theory
http://d-nb.info/gnd/4003953-5
wikidata
:Automata theory
wikidata
:Automata theory
dbpedia-de
:Automata theory
dbpedia-fr
:Automata theory
dbpedia-tr
:Automata theory
dbpedia-zh
:Automata theory
dbpedia-ja
:Automata theory
dbpedia-pt
:Automata theory
dbpedia-he
:Automata theory
dbpedia-ro
:Automata theory
dbpedia-es
:Automata theory
dbpedia-fa
:Automata theory
dbpedia-ru
:Automata theory
dbpedia-sv
:Automata theory
dbpedia-vi
:Automata theory
dbpedia-pl
:Automata theory
dbpedia-ko
:Automata theory
dbpedia-id
:Automata theory
dbpedia-el
:Automata theory
dbpedia-ca
:Automata theory
dbpedia-ca
:Automata theory
dbpedia-ar
:Automata theory
dbpedia-bs
:Automata theory
dbpedia-cs
:Automata theory
dbpedia-fi
:Automata theory
dbpedia-hi
:Automata theory
dbpedia-hr
:Automata theory
dbpedia-kk
:Automata theory
dbpedia-mk
:Automata theory
dbpedia-nn
:Automata theory
dbpedia-no
:Automata theory
dbpedia-sh
:Automata theory
dbpedia-simple
:Automata theory
dbpedia-sk
:Automata theory
dbpedia-sr
:Automata theory
dbpedia-tg
:Automata theory
dbpedia-th
:Automata theory
dbpedia-tl
:Automata theory
dbpedia-uk
:Automata theory
dbpedia-global
:Automata theory
prov:
wasDerivedFrom
wikipedia-en
:Automata_theory?oldid=1285911246&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/DFAexample.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Automata_theory
is
dbo:
academicDiscipline
of
dbr
:Juhani_Karhumäki
dbr
:Mikołaj_Bojańczyk
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Descriptional_Complexity_of_Formal_Systems
dbr
:International_Conference_on_Reachability_Problems
dbr
:Kai_Salomaa
dbr
:Maxime_Crochemore
dbr
:Thomas_Colcombet
dbr
:Viliam_Geffert
is
dbo:
knownFor
of
dbr
:Dana_Scott
dbr
:Dexter_Kozen
dbr
:Michael_Tsetlin
dbr
:Abraham_Ginzburg
dbr
:Oscar_H._Ibarra
is
dbo:
wikiPageDisambiguates
of
dbr
:Automata_(disambiguation)
is
dbo:
wikiPageRedirects
of
dbr
:Automata_Theory
dbr
:Automaton_theory
dbr
:Analog_automata
dbr
:Theory_of_automata
dbr
:Applications_of_automata_theory
is
dbo:
wikiPageWikiLink
of
dbr
:Star_height
dbr
:University_of_Rijeka
dbr
:Powerset_construction
dbr
:Grigore_Moisil
dbr
:Noncommutative_signal-flow_graph
dbr
:Eli_Shamir
dbr
:Weak_Büchi_automaton
dbr
:Unambiguous_finite_automaton
dbr
:Thread_automaton
dbr
:Derick_Wood
dbr
:Christel_Baier
dbr
:Samuel_Eilenberg
dbr
:Free_monoid
dbr
:Complexity
dbr
:Petri_net
dbr
:De_Bruijn_sequence
dbr
:1959_in_science
dbr
:Branches_of_science
dbr
:Two-way_finite_automaton
dbr
:Dana_Scott
dbr
:State_(computer_science)
dbr
:Muller_automaton
dbr
:Büchi_automaton
dbr
:Complementation_of_Büchi_automaton
dbr
:Formal_methods
dbr
:Variety_(cybernetics)
dbr
:State-transition_table
dbr
:List_of_terms_relating_to_algorithms_and_data_structures
dbr
:Word_metric
dbr
:Android_(robot)
dbr
:Information_technology
dbr
:Palindrome
dbr
:Discrete_mathematics
dbr
:Outline_of_discrete_mathematics
dbr
:F-coalgebra
dbr
:Science_and_technology_in_Russia
dbr
:UP_Diliman_Department_of_Computer_Science
dbr
:Word_(disambiguation)
dbr
:Epiphenomenalism
dbr
:Deterministic_pushdown_automaton
dbr
:Von_Neumann_universal_constructor
dbr
:Formal_grammar
dbr
:Group_homomorphism
dbr
:Alternating_finite_automaton
dbr
:Faron_Moller
dbr
:Courcelle's_theorem
dbr
:Dexter_Kozen
dbr
:McNaughton's_theorem
dbr
:Juhani_Karhumäki
dbr
:Combinational_logic
dbr
:Combinatorics
dbr
:Automaton
dbr
:Turing_completeness
dbr
:Formal_language
dbr
:Dartmouth_workshop
dbr
:JFLAP
dbr
:List_of_computer_science_conferences
dbr
:Index_of_philosophy_articles_(A–C)
dbr
:Nondeterministic_finite_automaton
dbr
:Automaton_(disambiguation)
dbr
:SPIN_model_checker
dbr
:Computability
dbr
:Alphabet_(formal_languages)
dbr
:Deterministic_finite_automaton
dbr
:Calculating_Space
dbr
:Gremlin_(query_language)
dbr
:Index_of_software_engineering_articles
dbr
:History_of_artificial_life
dbr
:Supratik_Chakraborty
dbr
:Algorithm
dbr
:Noam_Chomsky
dbr
:Arto_Salomaa
dbr
:Finite-state_machine
dbr
:Subshift_of_finite_type
dbr
:Transition_system
dbr
:Avraham_Trahtman
dbr
:Theoretical_computer_science
dbr
:Transformation_semigroup
dbr
:Géraud_Sénizergues
dbr
:Mehryar_Mohri
dbr
:Rajeev_Alur
dbr
:Co-Büchi_automaton
dbr
:Cobham's_theorem
dbr
:Janusz_Brzozowski_(computer_scientist)
dbr
:Think-a-Dot
dbr
:Timed_automaton
dbr
:History_of_computing_in_Poland
dbr
:Middle_Eastern_Americans
dbr
:Computer_science
dbr
:Epsilon
dbr
:List_of_mathematical_theories
dbr
:List_of_pioneers_in_computer_science
dbr
:Merton_College,_Oxford
dbr
:Jeffrey_Shallit
dbr
:Jeffrey_Ullman
dbr
:Leslie_Valiant
dbr
:Marek_Chrobak
dbr
:Seymour_Ginsburg
dbr
:Shmuel_Safra
dbr
:VPA
dbr
:Binary_relation
dbr
:Cellular_automaton
dbr
:Regular_expression
dbr
:Monoid
dbr
:Standard_Generalized_Markup_Language
dbr
:Sergey_Yablonsky
dbr
:Automata-based_programming
dbr
:Government_Engineering_College,_Trivandrum
dbr
:Automata_Theory
dbr
:Automaton_theory
dbr
:Knuth–Morris–Pratt_algorithm
dbr
:Freeman_Dyson
dbr
:Marcel-Paul_Schützenberger
dbr
:D._S._Malik
dbr
:DFA_minimization
dbr
:List_of_Iranian_Americans
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:Unbounded_nondeterminism
dbr
:Actor_model
dbr
:Mathematical_and_theoretical_biology
dbr
:Unrestricted_grammar
dbr
:Outline_of_academic_disciplines
dbr
:Pushdown_automaton
dbr
:Kleene_star
dbr
:Theory_of_computation
dbr
:Boundedly_generated_group
dbr
:Büchi_arithmetic
dbr
:Aperiodic_finite_state_automaton
dbr
:Aperiodic_semigroup
dbr
:Automata_(disambiguation)
dbr
:Discrete_event_dynamic_system
dbr
:Substitution_tiling
dbr
:Sequential_logic
dbr
:Computational_linguistics
dbr
:Boolean_differential_calculus
dbr
:Square-free_word
dbr
:Glossary_of_computer_science
dbr
:Harlan_Mills
dbr
:Input/output_automaton
dbr
:Nested_word
dbr
:Rational_set
dbr
:Glossary_of_artificial_intelligence
dbr
:Informatics
dbr
:Ω-automaton
dbr
:Armin_B._Cremers
dbr
:Temporal_logic
dbr
:Graph_labeling
dbr
:Torsion_group
dbr
:Imre_Simon
dbr
:Chu_space
dbr
:GrowCut_algorithm
dbr
:Guarded_logic
dbr
:Joseph_Goguen
dbr
:Permutation_automaton
dbr
:Taylor_Booth_(mathematician)
dbr
:Recognizable_set
dbr
:Pebble_automaton
dbr
:Mikołaj_Bojańczyk
dbr
:Alternating_timed_automaton
dbr
:Abraham_Ginzburg
dbr
:List_of_computer_scientists
dbr
:Hybrid_system
dbr
:Astrochicken
dbr
:Dana_Angluin
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Descriptional_Complexity_of_Formal_Systems
dbr
:Deterministic_automaton
dbr
:Hybrid_automaton
dbr
:Krohn–Rhodes_theory
dbr
:RE2_(software)
dbr
:Orna_Kupferman
dbr
:Suffix_automaton
dbr
:Alternating_tree_automata
dbr
:Generalized_Büchi_automaton
dbr
:Generative_science
dbr
:Ludwig_Staiger
dbr
:Oscar_H._Ibarra
dbr
:Krishnendu_Chatterjee
dbr
:David_L._Dill
dbr
:Journal_of_Automata,_Languages_and_Combinatorics
dbr
:Learning_automaton
dbr
:Michael_W._Shields
dbr
:Reo_Coordination_Language
dbr
:Reversible_cellular_automaton
dbr
:Monadic_second-order_logic
dbr
:List_of_academic_fields
dbr
:NFA_minimization
dbr
:Véronique_Bruyère
dbr
:Semi-deterministic_Büchi_automaton
dbr
:Semigroup_action
dbr
:Outline_of_computer_science
dbr
:Self-verifying_finite_automaton
dbr
:Regular_numerical_predicate
dbr
:Word_Processing_in_Groups
dbr
:The_Tower_of_Hanoi_–_Myths_and_Maths
dbr
:Hardware_security
dbr
:Věra_Trnková
dbr
:Wojciech_Rytter
dbr
:Signal_(model_checking)
dbr
:Signal_automaton
dbr
:Harry_R._Lewis
dbr
:Intersection_non-emptiness_problem
dbr
:Deterministic_acyclic_finite_state_automaton
dbr
:Jean-Éric_Pin
dbr
:Brenda_Baker
dbr
:Jetty_Kleijn
dbr
:Thomas_N._Hibbard
dbr
:Tagged_Deterministic_Finite_Automaton
dbr
:Nataša_Jonoska
dbr
:List_of_people_from_Negros_Occidental
dbr
:Tree_(automata_theory)
dbr
:Tree_stack_automaton
dbr
:Elaine_Rich
dbr
:Ding-Zhu_Du
dbr
:International_Conference_on_Reachability_Problems
dbr
:Kai_Salomaa
dbr
:Maxime_Crochemore
dbr
:Richard_E._Ladner
dbr
:Thomas_Colcombet
dbr
:Viliam_Geffert
dbr
:Outline_of_formal_science
dbr
:Analog_automata
dbr
:Theory_of_automata
dbr
:Applications_of_automata_theory
is
dbp:
field
of
dbr
:Juhani_Karhumäki
dbr
:Kai_Salomaa
dbr
:Maxime_Crochemore
dbr
:Viliam_Geffert
is
dbp:
fields
of
dbr
:Mikołaj_Bojańczyk
is
dbp:
knownFor
of
dbr
:Michael_Tsetlin
is
foaf:
primaryTopic
of
wikipedia-en
:Automata_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International