Metraipolis › archive › dc_7efdb3060758

Automa di Büchi — Wikipedia

Source: Wikipedia (it)
Original: https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi
License (as archived): CC-BY-SA-4.0
Archived: 2026-10-18T07:50:45.420Z
SHA-256 of the archived text: 17b0611a4476cac3cfbccfd825f7dac11026a57cc1484421d5f95f9fa06c36e0
Stable URL of this page: https://metraipolis.com/documento/dc_7efdb3060758

How to cite

Automa di Büchi — Wikipedia — Wikipedia (it), https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_7efdb3060758 (Metraipolis archive dc_7efdb3060758, sha256 17b0611a4476cac3cfbccfd825f7dac11026a57cc1484421d5f95f9fa06c36e0)

BibTeX

@misc{dc7efdb3060758,
  title = {Automa di Büchi — Wikipedia},
  howpublished = {Wikipedia (it)},
  url = {https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_7efdb3060758; sha256 17b0611a4476cac3cfbccfd825f7dac11026a57cc1484421d5f95f9fa06c36e0},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (it), https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

In informatica teorica, un automa di Büchi è un ω-automa o automa finito che opera su parole di lunghezza infinita, con una particolare condizione di accettazione: una traccia ha successo se e solo se passa un numero infinito di volte per almeno uno stato accettante. Questo tipo di automa viene comunemente utilizzato per il model checking. Questo tipo di automa è stato definito dal matematico Julius Richard Büchi.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in italiano, in ordine alfabetico).
Fonte: Wikipedia in italiano, voce «Automa di Büchi» — https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi
Wikidata Q1020380 (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q1020380
Autori: i contributori di Wikipedia (cronologia: https://it.wikipedia.org/wiki/Automa_di_B%C3%BCchi?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 151328302, consultata il 2026-10-18T07:47:41.124Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: d056dc70e5aa218da97a3fab6fd67af065d4bd137e3c2a3d761a864ec9ca46a5