Automi push-down e macchine di turing
Salve a tutti,
avrei da risolvere il seguente esercizio ma ho un po di difficoltà:
Dato il linguaggio L={w | w ha lunghezza dispari} descrivere una Macchina di turing e un automa push-down che descrivono il seguente linguaggio.
Per favore aiutatemi
avrei da risolvere il seguente esercizio ma ho un po di difficoltà:
Dato il linguaggio L={w | w ha lunghezza dispari} descrivere una Macchina di turing e un automa push-down che descrivono il seguente linguaggio.
Per favore aiutatemi
Risposte
Che descrivono il linguaggio, ovvero dei generatori?
Si generatori, mi serve solo la macchina di turing che non riesco a fare
Un conto è descriverla a parole, un conto è rappresentarla (a-la JFLAP, per intendersi), magari spiega meglio cosa ti serve.
Comunque, primo consiglio: consideriamo l'alfabeto classico con 0, 1, blank. Riesci a descrivere - e saresti capace di schematizzare - una MdT che (senza fermarsi) "conta" in binario ovvero scrive 0, poi somma 1 e quindi scrive 1, poi somma ancora 1 e quindi scrive 10 e così via?
Comunque, primo consiglio: consideriamo l'alfabeto classico con 0, 1, blank. Riesci a descrivere - e saresti capace di schematizzare - una MdT che (senza fermarsi) "conta" in binario ovvero scrive 0, poi somma 1 e quindi scrive 1, poi somma ancora 1 e quindi scrive 10 e così via?