Autómata co-Büchi

Conceptos de informática

En teoría de autómatas, un autómata co-Büchi es una variante del autómata de Büchi con una condición de aceptación diferente. Acepta una palabra infinita si existe una ejecución en la que todo estado que aparece infinitas veces pertenece al conjunto de estados finales. Los autómatas de Büchi exigen, en cambio, que los estados finales se visiten infinitas veces. Los autómatas co-Büchi deterministas son estrictamente menos potentes que los autómatas de Büchi no deterministas.

La imagen de esta carta se ha creado con IA. Es una ilustración, no una foto real del sujeto.

Campo: Teoría de autómatas
Poder expresivo relativo: Los autómatas co-Büchi deterministas son estrictamente menos potentes que los autómatas de Büchi no deterministas

Fuentes y créditos

Artículo: Co-Büchi automaton (Wikipedia en inglés)
Wikidata: Q5137398
Texto: El texto de la carta está adaptado del artículo de la Wikipedia en inglés mediante un resumen automatizado. El contenido de Wikipedia está disponible bajo CC BY-SA 4.0. Consulta el historial del artículo para ver quiénes han contribuido. CC BY-SA 4.0 · Historial del artículo y colaboradores
Ilustración: Ilustración generada por IA. No es una fotografía ni una imagen documental. (modelo: gpt-image-2.5-flare)
Popularidad: 1 visitas diarias medianas (Wikimedia Pageviews API (all-access, user agent))

Kosmora no está afiliada a la Fundación Wikimedia ni cuenta con su respaldo.