Це команда lbt2dot, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
lbt - LTL на Büchi Translator
СИНТАКСИС
фунти < formula.txt > automat.txt
lbt2dot < automat.txt > automat.dot
ОПИС
На цій сторінці посібника коротко описано фунти та lbt2dot команди. Ця сторінка посібника була
написаний для дистрибутива Debian GNU/Linux, оскільки оригінальна програма не має файлу
сторінка посібника. Натомість він має документацію у форматі HTML; Дивись нижче.
фунти є фільтром, який перетворює формулу лінійної тимчасової логіки (LTL) у відповідну
узагальнений автомат Бючі. Переклад заснований на алгоритмі Герта Пеледа
та Варді, представлені на PSTV'95, простий на льоту автоматичний перевірка of лінійний
тимчасової логіка. Навряд чи якісь оптимізації реалізовані, а згенерований автомат є
часто більше, ніж необхідно. Але з іншого боку, це завжди має бути правильним.
Фільтр lbt2dot можна використовувати для перекладу автоматів Бючі з фунти вихідний формат до
Формат GraphViz для візуалізації.
приклад
нудьгувати G p0 | фунти | lbt2dot | крапка -
Використовуйте lbt2dot онлайн за допомогою служб onworks.net
