Deciding Nondeterministic Hierarchy of Deterministic Tree AutomataReportar como inadecuado




Deciding Nondeterministic Hierarchy of Deterministic Tree Automata - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Institute of Informatics, Warsaw University 2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : We show an algorithm which, for a given deterministic parity automaton on infinite trees, computes the minimal Mostowski index of a nondeterministic automaton recognizing the same language.





Autor: Damian Niwinski - Igor Walukiewicz -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados