Пәнін оқыту-әдістемелік кешен 5В060200 «Информатика» мамандығына арналған ОҚУ-Әдістемелік материалдар

Көпшілік W=N T – G грамматикасының сөздігі. Шығару тәртібі – бұл f,gW болғанда fg болатын тәртіп, ал “” – бұл түрдің байланысы «сол жақты оңға ауыстыруға болады».

Мысал. Табиғи, мысалы, формалды грамматика терминіндегі орыс тілінің элементтерін жазайық. X={А,а,Б,б, ... , Я, я, ., ,, :, ;, , ., !, ?, “, ”, (, )}, T={<түбірлер>, <рпиставкалар> және т.б.}, N={сөйлем, бастауыш, баяндауыш, етістік, пысықтауыш және т.б.}, n = “сөйлем”.

Операциялардың және операндтардың метатілде оң сандармен жазылған берілуі – тұрақты берілу деп аталады.