나는 5 개의 필드를 포함하는 유형의 변수를 사용자가 입력하게하고 싶습니다. 물론 이것은 사용자 입력을 받아리스트를 채울 수있는 방법을 찾도록 요구합니다 문제는 자동 장치의 읽기와 경우 이미 목록에있는 요소이지만 불행히도 행운을 삽입하는 기능이라고 인서트를 사용하여 시도 type automate = {
etat_initial : int;
ensemble
미리 도움 주셔서 감사합니다! 나는 학교에서 오토 마타 과정을 수강하고 있고, 내 인생은 두 정규 표현식의 교차점을 해결할 수 없다. 나는 온라인에서 보았고 여기에서 두 언어 모두를위한 NFA를 만들 수 있다는 것을 알기 위해 개별적으로 그리고 나서 연합 (ise)을 보완한다 - 여기서 영어는 확실하지 않다. 이 다음, 나는 공용어를 후속 DFA를 찾아 교
이 NFA를 DFA로 변환하려고합니다. 그때 빈 문자열을 여러 가지 상태를 설정하기 위해 노력했다 : 은 내가 NFA와 DFA 모두 전환 테이블이 있습니다. 그러나 무엇을하더라도 원래 NFA와 작동하지 않는 DFA를 계속 가져옵니다. 저는 서클에서 조금 돌아가고 있습니다. 누군가 내가 잘못하고있는 것을 보여줄 수 있습니까?
나는 Coq를 배우고 있으며 정규 언어 이론, 특히 유한 오토 마타를 형식화하기 위해 이걸 사용하고 싶다. 의는 다음과 같이 내가 오토마타에 대한 구조를 가지고 있다고 가정 해 봅시다 : 상태로 유도 유형 Record automata : Type := {
dfa_set_states : list state;
init_state : state;
end_s
이번 학기의 Theory of Computation을 배우기 시작했으며 "DFA for a language"라는 문구로 혼란스러워했습니다. 바이너리 문자열 L의 일부 콜렉션에 대해 DFA를 생성하라는 메시지가 표시되면 L (M) = L 또는 $ L (M) \ supset L $ 인 DFA M을 찾으라는 의미입니까?
오픈 소스 자바 자동화 라이브러리 (예 : org.apache.lucene.util.automaton 또는 dk.brics.automaton)를 사용하여 프리픽스 일치를위한 자동 완성 기능을 어떻게 만들 수 있습니까? 예 : "luc"또는 "luce"가 주어 졌을 때 일치하지만 "lucy"또는 "lucid dream"가 주어질 때 일치하지 않는 문자열 [
유한 상태 시스템 다이어그램을 사용하여 스택 추상 데이터 유형을 나타 내기 위해 무제한 알파벳을 표현하는 방법을 찾기 위해 고심하고 있습니다. 스택에 무한 수의 요소가있을 수 있지만 다이어그램에 무한 상태를 그릴 수는 없습니다. 내가 사용하고자하는 방향은 재귀를 사용하는 것이지만 유한 상태 기계에서 재귀를 표현하는 예는 찾을 수 없다. 다이어그램. 재귀를