Зв’язок мереж Петрі з бездужковим польським записом
Розглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мере...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2016-08-01
|
| Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/59334 |
| _version_ | 1811205018154434560 |
|---|---|
| author | Vitaly M. Statkevich |
| author_facet | Vitaly M. Statkevich |
| author_sort | Vitaly M. Statkevich |
| collection | DOAJ |
| description | Розглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції. |
| first_indexed | 2024-04-12T03:23:31Z |
| format | Article |
| id | doaj.art-fbe969db507943c5b18d2d90783d5c41 |
| institution | Directory Open Access Journal |
| issn | 1681-6048 2308-8893 |
| language | Ukrainian |
| last_indexed | 2024-04-12T03:23:31Z |
| publishDate | 2016-08-01 |
| publisher | Igor Sikorsky Kyiv Polytechnic Institute |
| record_format | Article |
| series | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| spelling | doaj.art-fbe969db507943c5b18d2d90783d5c412022-12-22T03:49:48ZukrIgor Sikorsky Kyiv Polytechnic InstituteSistemnì Doslìdženâ ta Informacìjnì Tehnologìï1681-60482308-88932016-08-01210.20535/SRIT.2308-8893.2016.2.01Зв’язок мереж Петрі з бездужковим польським записомVitaly M. Statkevich0Відділ прикладного нелінійного аналізу ННК "Інститут прикладного системного аналізу" НТУУ "КПІ", КиївРозглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції.http://journal.iasa.kpi.ua/article/view/59334мережа Петріінгібіторна мережа Петрікольорова мережа Петрімова мережі Петрібездужковий польський записобернений польський запис |
| spellingShingle | Vitaly M. Statkevich Зв’язок мереж Петрі з бездужковим польським записом Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис |
| title | Зв’язок мереж Петрі з бездужковим польським записом |
| title_full | Зв’язок мереж Петрі з бездужковим польським записом |
| title_fullStr | Зв’язок мереж Петрі з бездужковим польським записом |
| title_full_unstemmed | Зв’язок мереж Петрі з бездужковим польським записом |
| title_short | Зв’язок мереж Петрі з бездужковим польським записом |
| title_sort | зв язок мереж петрі з бездужковим польським записом |
| topic | мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис |
| url | http://journal.iasa.kpi.ua/article/view/59334 |
| work_keys_str_mv | AT vitalymstatkevich zvâzokmerežpetrízbezdužkovimpolʹsʹkimzapisom |