온라인 FSM 유한 상태 기계 시뮬레이터

FSM 시뮬레이터의 주요 기능

이 도구는 결정적 유한 상태 기계(DFA)의 동작을 시뮬레이션합니다. 전이 규칙은 현재상태,입력문자,다음상태 형식으로 쉼표로 구분하여 입력합니다. 상태 이름은 비어 있지 않고 최대 50자, 입력 문자는 정확히 하나의 유니코드 코드 포인트여야 합니다. 규칙은 1개에서 200개까지 허용됩니다.

작동 예시

다음 규칙을 입력합니다:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

초기 상태를 q0로, 입력 문자열을 1011로 설정하면 상태 경로는 q0 -> q1 -> q0 -> q1 -> q1이 되고 최종 상태는 q1입니다.

제약 사항

• 각 상태와 입력 문자 쌍에 대해 전이는 하나만 허용됩니다. 중복 규칙은 오류로 처리됩니다.
• 입력 문자열은 최대 10000 UTF-16 코드 유닛까지 처리됩니다.
• 정의되지 않은 전이를 만나면 해당 문자에서 오류가 발생합니다.
• 수용 상태, 엡실론 전이, 비결정적 분기, 정규식 변환, 최소화, 다이어그램 기능은 제공되지 않습니다.

FAQ

Q1: 상태 이름에 쉼표를 포함할 수 있나요?

아니요. 쉼표는 규칙 구분자이므로 상태 이름이나 입력 문자에 포함할 수 없습니다.

Q2: 입력 문자열이 길면 어떻게 되나요?

입력 문자열은 최대 10000 UTF-16 코드 유닛까지 처리됩니다. 그 이상이면 오류가 발생할 수 있습니다. 큰 입력을 테스트할 때는 먼저 짧은 시퀀스로 확인하는 것이 좋습니다.

Q3: 중복 규칙이 있으면 어떻게 되나요?

중복 규칙은 자동으로 덮어쓰지 않고 오류로 처리됩니다. 각 상태-문자 쌍에 대해 정확히 하나의 전이만 정의해야 합니다.