Здравейте, колеги,
Към темата за проект "Контекстно-свободни граматики" беше добавена следната забележка:
-
Забележка: има някои граматики, при които проверката за принадлежност на дума към езика чрез недетерминиран стеков автомат може да зацикли, ако думата не принадлежи на езика на граматиката. В такива случаи е допустимо и вашата реализация да зацикли. Ако обаче думата е в езика на граматиката, вашата функция винаги трябва да завършва с резултат true.
-
За повече информация, вижте дискусията в канала #сдп-2019-20 във FMI сървъра на Discord.