Microsoft Word - Mod Petri2t.doc Ìàòåìàòè÷åñêèå âîïðîñû êèáåðíåòèêè è âû÷èñëèòåëüíîé òåõíèêè 25, 2006, 39–44. 1 The research is supported partly by INTAS: 04-77-7173 project, http://www.intas.be and State Principal Program of Armenia on Scientific Computations. 39 Взаимосвязь языков модифицированых сетей Петри с некоторыми классами формальных языков Гоар Р. Петросян Ереванский Государственный Университет Аннотация В работе приводится об эквивалентности КС-грамматик (контекстно-свободный) и модифицированных сетей Петри. Модифицированная сеть Петри-это расширение стандартной сети Петри с помощью сдерживаюших позиций. Для КС языка {R /   ,  = {a, b}}, который не является языком сетей Петри, построена модифицированная сеть Петри, для которой L(C) = {R / ,  = {a, b}}. С помощью графов характеризуется взаимосвязь языков модифицированных сетей Петри с некоторыми классами формальных языков. Литература [1] Питерсон Д., “Теория сетей Петри и моделирование систем”. Москва, Мир, 1984г. [2] Котов В. Е. “Сети Петри”. Москва, Мир, 1984г. [3] Ахо А., Ульман Д., “Теория синтаксического анализа, перевода и компиляции”. Перевод под редакцией Курочкина, Т1-Т3. [4] Гордеев А. В., Молчанов А. Ю., “Системное программное обеспечение”. Учебник, Санкт-Петербург 2002г. [5] Петросян Г. Р., “Модифицированные сети Петри: описание поведения с помощью формальных языков”. Математические вопросы кибернетики и вычислительной теxники, Ереван, 2006. ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó»ñÇ É»½áõÝ»ñÇ ÷áËϳå³Ïóí³ÍáõÃÛáõÝÁ áñáß ¹³ë»ñÇ ýáñÙ³É É»½áõÝ»ñÇ Ñ»ï ¶. ä»ïñáëÛ³Ý ²Ù÷á÷áõÙ ²ß˳ï³ÝùáõÙ µ»ñí³Í ¿ β - ù»ñ³Ï³ÝáõÃÛáõÝÝ»ñÇ ¨ ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó»ñÇ Ñ³Ù³ñÅ»ùáõÃÛáõÝÁ: ä»ïñÇÇ Ó¨³÷áËí³Í ó³ÝóÁ ¹³ ä»ïñÇÇ ëï³Ý¹³ñï ó³ÝóÇ ÁݹɳÛÝáõÙÝ ¿ ë³Ñٳݳ÷³ÏáÕ ¹Çñù»ñÇ û·ÝáõÃÛ³Ùµ: β (ÏáÝï»ÏëïÇó - ³ÝϳË) - É»½íÇ Ñ³Ù³ñ {R /   ,  = {a, b}}, áñÁ ãÇ Ñ³Ý¹Çë³ÝáõÙ ä»ïñÇÇ ó³Ýó»ñÇ É»½áõ, ϳéáõóí³Í ¿ ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó, áñÇ Ñ³Ù³ñ L (C) = {R / ,  = {a, b}}. ¶ñ³ýÝ»ñÇ û·ÝáõÃÛ³Ùµ µÝáõó·ñíáõÙ ¿ ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó»ñÇ É»½áõÝ»ñÇ ¨ áñáß ¹³ë»ñÇ ýáñÙ³É É»½áõÝ»ñÇ ÷áËϳå³Ïóí³ÍáõÃÛáõÝÁ: