Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 lbt 명령입니다.
프로그램:
이름
lbt - Büchi 번역기에 LTL
개요
파운드 < 공식.txt > 오토마톤.txt
lbt2dot < 오토마톤.txt > 오토마톤.닷
기술
이 매뉴얼 페이지는 간략하게 설명합니다 파운드 와 lbt2dot 명령. 이 매뉴얼 페이지는
원래 프로그램에는 데비안 GNU/리눅스 배포판이 없기 때문에 작성되었습니다.
매뉴얼 페이지. 대신 HTML 형식의 문서가 있습니다. 아래를 참조하십시오.
파운드 LTL(선형 시간 논리) 공식을 해당 공식으로 변환하는 필터입니다.
일반화 된 Büchi 자동 장치. 번역은 Gerth, Peled의 알고리즘을 기반으로 합니다.
그리고 Vardi는 PSTV'95에서 발표했습니다. 단순, 간단, 편리 즉석에서 자동적으로 확인 of 선의
일시적인 논리. 최적화가 거의 구현되지 않고 생성된 자동 장치는
종종 필요한 것보다 큽니다. 그러나 한편으로는 항상 정확해야 합니다.
필터 lbt2dot Büchi automata를 번역하는 데 사용할 수 있습니다. 파운드 출력 형식
시각화를 위한 GraphViz 형식.
예
에코 Gp0 | 파운드 | lbt2dot | 점이 있는 -
onworks.net 서비스를 통해 온라인으로 LBT 사용
