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

FSM 시뮬레이터의 주요 기능

이 도구는 결정적 유한 상태 기계(DFA)의 동작을 시뮬레이션합니다. 전이 규칙은 현재상태,입력문자,다음상태 형식으로 쉼표로 구분하여 입력합니다. 상태 이름은 비어 있지 않고 최대 50 UTF-16 코드 단위, 입력 문자는 정확히 하나의 유니코드 코드 포인트여야 합니다. 규칙은 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: 중복 규칙이 있으면 어떻게 되나요?

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

상태 이름과 초기 상태는 최대 50 UTF-16 코드 단위, 입력은 10000단위입니다. 규칙 필드 양 끝 공백을 제거하므로 공백만으로 된 입력 기호는 사용할 수 없습니다. 초기 상태는 대소문자까지 정확히 맞추고 양 끝에 공백을 넣지 마세요. 빈 입력은 초기 상태를 그대로 반환합니다. 전이가 없으면 일반 오류만 표시하며 위치나 부분 경로는 제공하지 않습니다.