dfa algorithms

DFA 알고리즘

https://dfa.laane.xyz/

 Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms

King's College London의 6CCS3PRJ 마지막 해 프로젝트
저자: 스텐 아서 레인(Sten Arthur Laane)
감독자: Agi Kurucz 박사

에 대한

이 프로젝트는 상태 최소화(SM) 및 동등성 테스트(ET)에 사용되는 세 가지 Finite Automata 알고리즘을 구현하고 시각화하는 것을 목표로 합니다.

• 테이블 채우기 알고리즘(SM, ET)
• n lg n Hopcroft 알고리즘(SM, ET)
• (거의) 선형 알고리즘(ET)

두 DFA가 동일한지 여부를 나타내는 감시 문자열을 생성하는 이러한 알고리즘의 변형도 구현됩니다.

또한 이 프로젝트는 맞춤형 DFA 데이터 세트를 사용하여 알고리즘의 최악의 성능을 보여주는 것을 목표로 합니다. 이러한 데이터 세트는 사용자가 자신의 DFA를 생성하는 데 사용할 수 있습니다.

알고리즘과 데이터 세트에 대한 자세한 내용은 여기에서 찾을 수 있는 프로젝트와 함께 제공되는 보고서에서 확인할 수 있습니다.

앱 사용에 대한 지침은 도움말 페이지에서 확인할 수 있습니다.

개발

이 소프트웨어를 로컬에서 실행하거나 개발하려면 node.js 14.x의 로컬 설치가 필요합니다.

소프트웨어는 다음과 같이 실행할 수 있습니다:

1. 프로젝트 디렉토리로 이동
2. npm install 사용하여 필요한 종속성 설치
3. 로컬 개발 서버 npm run start 실행
4. http://localhost:3000 사이트에 접속하세요.

npm run test 사용하여 테스트를 실행할 수 있습니다.

기여 및 이슈

기여는 언제나 환영합니다. 누구나 GitHub에서 이슈를 열고 요청을 가져올 수 있습니다.

특허

이 프로젝트는 MIT 라이선스에 따라 라이선스가 부여됩니다.