Domande taggate «automata»

Domande su dispositivi matematici che leggono il simbolo di un flusso di input per simbolo e usano una mappa di transizione di stato per produrre un flusso di output, magari usando l'archiviazione secondaria.

1
Come faccio a scrivere una prova usando l'induzione sulla lunghezza della stringa di input?
Nel mio corso di Teoria del calcolo, molti dei nostri problemi implicano l'uso dell'induzione sulla lunghezza della stringa di input per provare affermazioni sugli automi finiti. Capisco l'induzione matematica, tuttavia quando entrano in gioco le corde mi inciampo davvero. Lo apprezzerei davvero se qualcuno passasse attraverso il processo di realizzazione …
1
Costruire un PDA per il complemento di
Mi chiedo se sia possibile, dato che . Pertanto un PDA in grado di distinguere una parola dal resto di potrebbe anche accettarla , il che mi sembra contraddittorio.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Immagino di dover approfittare della natura non …
2
Quali lingue sono riconosciute dalle macchine a un contatore?
Le macchine contatore con due o più contatori sono generalmente mostrate equivalenti alle macchine di Turing in corsi sulla teoria del calcolo. Tuttavia, non ho visto un'analisi formale di quali lingue possano essere riconosciute da una macchina a un contatore. Queste lingue sono equivalenti alle lingue senza contesto (forse per …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.