Definición[editar] Un algoritmo que nos sirve para decidir si dos autómatas finitos son equivalentes o no es aquel mencionado en el teorema de Moore, el cual consiste en la elaboración de un árbol que nos ayuda al comparar autómatas distintos. La acción anterior nos permite convertir el problema de la comparación de los lenguajes aceptados en un simple problema de comparación de estados de los autómatas que esperamos comparar.
rdfs:comment |
|
foaf:depiction | |
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
dbpedia-owl:thumbnail | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink |