[Automaty] NAS akceptuje x11y

GarryMoveOut · Post autor: **GarryMoveOut** » 11 sty 2014, o 17:32

Mam stworzyć NAS akceptuje 0,1: "który przed ostatnim i przed przed ostatnim znakiem są 1".
Czy dobrze zrobiłem ?

ravgirl · Post autor: **ravgirl** » 11 sty 2014, o 17:56

Niestety, ten automat zaakceptuje np. słowa \(\displaystyle{ 000011}\), \(\displaystyle{ 11011}\), \(\displaystyle{ 0101011}\). W ogólności: słowa zakończone dwiema jedynkami - a chcemy aby po parze jedynek był jeszcze jeden, ostatni znak. Stan \(\displaystyle{ C}\) nie może być więc akceptujący. Po zauważeniu, że są dwie jedynki, musisz wczytać jeszcze jeden znak i dopiero zaakceptować - czyli potrzebny jest jeszcze jeden stan.

GarryMoveOut · Post autor: **GarryMoveOut** » 11 sty 2014, o 18:08

Tak ? Bo nie wiem czy do końca rozumiem automaty NAS

ravgirl · Post autor: **ravgirl** » 11 sty 2014, o 18:27

Tak Jeśli masz jakieś pytania do tego, to śmiało

GarryMoveOut · Post autor: **GarryMoveOut** » 11 sty 2014, o 18:33

Dzięki do tego już nie mam pytań