추수 감사절 후에 학교에 다닐 때 결정 론적이거나 비결정론적인 유한 상태 기계, 튜링 기계, 푸시 다운 오토 마톤 및 기타 다른 것들을 다루는 CS 이론에서 강의를들을 것입니다. 그러나, 나는 그들의 시각적 표현을 생산할 수있는 좋은 응용 프로그램뿐만 아니라 그들이 작동하는 방법을 테스트 (통과/실패 등)하지 못했습니다. 지금까지 찾은 것 중 가장 좋은 것
두 언어에 공통된 문자열이 있는지 테스트하고 싶습니다. 이 두 언어는 아래에서 설명하는 정규 언어의 하위 집합에서 가져온 것으로, 두 언어 모두에 문자열이 있는지 여부 만 알아야 예제 문자열을 생성 할 수 있습니다. 언어가 /foo/**/bar/*.baz ** 경기는 0 개 이상의 문자 및 * 일치 /하지 않은 0 개 이상의 문자, 모두 같은 글로브와 같은
호기심에서, 내가 작업하는 시스템의 모델이 기능적으로 동일하고 동등성을 증명할 수있는 모델을 식별하려고합니다. 이 문제에 더 오래 걸릴수록 시스템이 Turing과 동등한 것으로 의심됩니다. 튜링 머신과 재귀 적으로 열거 가능한 언어에 대한 나의 이해는 훌륭하지만 더 적은 기능 (예 : 푸시 다운 오토 마톤)을 갖춘 오토마타에 대해 많이 알지 못하여 어떻게
시험을 위해 contex 무료 문법을 준비 중입니다. 언어가 왜 그런지 이해할 수 없었습니다. { a^n b^n | n>=0}
은 컨텍스트가 없지만 규칙적이 아닙니다. 왜 그렇게 규칙적이지 않습니까? 표현식이 규칙적이지 않다고 말할 수있는시기는 언제입니까? 그것이 regular expression 또는 (등가)를 finite state machine로
저는 공식적인 방법을 사용하고 있습니다. 프로젝트 중 하나는 java를 사용하여 유한 기계 해석기를 작성하는 것입니다. 텍스트 파일에서 NFA를 읽은 다음 NFA에서 DFA로 변환해야합니다. 또한 DFA를 텍스트 파일로 출력해야합니다. 그런 다음 기호 입력을 통해 실행하여 수락 또는 거부 여부에 관계없이 결과를 보여주는 DFA를 처리합니다. 코딩과 관련된
그래서 MIT의 OpenCourseWare에서 이산 수학 (Discrete Math) 과정을 수강하고 있습니다. 궁금합니다 ... 관계와 그래프 사이의 연결을 볼 수는 있지만 "소유"할만큼 충분하지 않습니다. SQL에서 간단한 상태 시스템을 구현 했으므로 그래프를 꽤 잘 잡았습니다. 관계와 세트가 어떻게 적용되는지에 대한보다 엄격한 연구가 아닙니다. 나는