튜링 머신과 유한 상태 오토 마톤과 같은 추상 기계를 구현하는 프로그래밍 언어를 알고 있습니까? 프로세스의 다음 입력 : 5 튜플 (The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101) 튜링 추상 머신 또는 시스템의 다른 표현 형식을위한 7-tuple. 입력 단어. 입력 단어가 수락 단어인지 알려주세요. 감사합니다
나는 automata 이론 수업을 위해 숙제를하고있다. 지금까지 정규 표현식을 포함하고있는 그 증명은 너무 미쳤습니다. 어쨌든, 내 질문은 연결에 대한 적절한 설정 표기법은 무엇입니까? 예를 들어, R + S가 R 유니온 S와 같을 것이라는 것을 알고 있지만, 나에게있어서 연결에 해당하는 집합 이론이 무엇인지 기억하지 못합니다. 내가 그 (것)들에 잘 일할