About: DFA minimization

Property	Value
dbo:description	задача преобразования заданного детерминированного конечного автомата (ДКА) в эквивалентный ДКА с минимальным числом состояний (ru) procedimento utilizzato nella teoria degli automi (it) 將給定的DFA改造為等價且擁有最少狀態的DFA的過程 (zh) Task of transforming a deterministic finite automaton (en)
dbo:thumbnail	wiki-commons:Special:FilePath/DFA_to_be_minimized.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/introductiontoau00hopc https://web.archive.org/web/20150621004621/http:/www8.cs.umu.se/kurser/TDBC92/VT06/final/1.pdf http://i.stanford.edu/pub/cstr/reports/cs/tr/71/190/CS-TR-71-190.pdf
dbo:wikiPageWikiLink	dbr:Myhill–Nerode_theorem dbr:Theoretical_computer_science dbr:European_Mathematical_Society dbr:Pattern_matching dbr:Computational_complexity_theory dbr:Automata_theory dbr:Powerset_construction dbr:Theoretical_Computer_Science_(journal) dbr:State_encoding_for_low_power dbr:Average-case_complexity dbr:Deterministic_finite_automaton dbr:Radix_sort dbr:Regular_language dbr:Probability_distribution dbc:Articles_with_example_pseudocode dbr:Cambridge_University_Press dbr:P_(complexity) dbr:Pseudocode dbr:Partition_of_a_set dbr:Equivalence_class dbc:Finite_automata dbr:Partition_refinement dbr:NFA_minimization dbr:PSPACE_(complexity) dbr:Non-deterministic_finite_automaton dbr:Polynomial-time_algorithm dbr:Worst_case dbr:File:DFA_to_be_minimized.jpg dbr:File:Minimized_DFA.jpg
dbp:authorlink	Edward F. Moore (en)
dbp:first	Edward F. (en)
dbp:last	Moore (en)
dbp:wikiPageUsesTemplate	dbt:= dbt:Citation dbt:Harvs dbt:Harvtxt dbt:Main dbt:Math dbt:Mvar dbt:Reflist dbt:Sfnp dbt:Short_description dbt:Unsourced_section
dbp:year	1956 (xsd:integer)
dct:subject	dbc:Articles_with_example_pseudocode dbc:Finite_automata
gold:hypernym	dbr:Task
rdfs:label	DFA minimization (en) تصغير DFA (ar) Minimizzazione di DFA (it) Minimisation d'un automate fini déterministe (fr) Minimização de AFD (pt) Мінімізація ДСкА (uk) Минимизация ДКА (ru) 确定有限状态自动机最小化 (zh)
owl:sameAs	freebase:DFA minimization yago-res:DFA minimization wikidata:DFA minimization dbpedia-it:DFA minimization dbpedia-fr:DFA minimization dbpedia-pt:DFA minimization dbpedia-ru:DFA minimization dbpedia-zh:DFA minimization dbpedia-ar:DFA minimization dbpedia-fa:DFA minimization dbpedia-sr:DFA minimization dbpedia-uk:DFA minimization dbpedia-global:DFA minimization
prov:wasDerivedFrom	wikipedia-en:DFA_minimization?oldid=1285525404&ns=0
foaf:depiction	wiki-commons:Special:FilePath/DFA_to_be_minimized.svg wiki-commons:Special:FilePath/Minimized_DFA.svg
foaf:isPrimaryTopicOf	wikipedia-en:DFA_minimization
is dbo:wikiPageRedirects of	dbr:Finite_state_machine_minimization dbr:Automaton_minimization dbr:Dfa_minimization dbr:Minimal_DFA dbr:Minimal_automaton dbr:Minimal_deterministic_finite_state_machine dbr:Minimized_dfa dbr:Minimizing_deterministic_finite_automaton
is dbo:wikiPageWikiLink of	dbr:Finite_state_machine_minimization dbr:Timeline_of_Polish_science_and_technology dbr:Suffix_automaton dbr:Automata_theory dbr:Powerset_construction dbr:Thompson's_construction dbr:State_encoding_for_low_power dbr:Finite-state_machine dbr:Glushkov's_construction_algorithm dbr:Janusz_Brzozowski_(computer_scientist) dbr:Deterministic_finite_automaton dbr:Deterministic_acyclic_finite_state_automaton dbr:Regular_language dbr:List_of_algorithms dbr:Tagged_Deterministic_Finite_Automaton dbr:Re2c dbr:Partition_refinement dbr:McNaughton's_theorem dbr:Aperiodic_finite_state_automaton dbr:NFA_minimization dbr:Automaton_minimization dbr:Dfa_minimization dbr:Minimal_DFA dbr:Minimal_automaton dbr:Minimal_deterministic_finite_state_machine dbr:Minimized_dfa dbr:Minimizing_deterministic_finite_automaton
is dbp:knownFor of	dbr:Janusz_Brzozowski_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:DFA_minimization