Связь сетей Петри с бесскобочной польской записью

• Дата: 2016
• Автор: Статкевич, В.М.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
• Назва видання: Системні дослідження та інформаційні технології
• Теми: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Онлайн доступ: http://dspace.nbuv.gov.ua/handle/123456789/134009
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены та...