대한전기학회논문지 (The Transactions of the Korean Institute of Electrical Engineers)
- 제35권11호
- /
- Pages.487-494
- /
- 1986
- /
- 0254-4172(pISSN)
논리 프로그래밍을 사용한 상태도의 오류검출과 상태 축소에 관한 연구
Study on Error Check and State Reduction of State Diagram Using Logic Programming
- Lee, Geuk ;
- Kim, Min-Hwan ;
- Hwang, Hee-Yeung
- 발행 : 1986.11.01
초록
This paper is concerned with the techniques of error check and reduction of state diagram using logic programming. Error check program aims to check not only syntax errors but also semantic errors. And reduction program optimizes the state diagram by finding the redundant equivalence states and removing those from the set of states. The input of both program is state diagram represented as state table form. The output of error check program is error comment. The output of reduction program is equivalence reduced state table. Both programs are implemented using prolog. Prolog has very powerful pattern matching, and its automatic back-tracking capabilities facilitate easy-to-write error check and reduction programs.
키워드