나는 프로젝트에서 자바로 작업하고있다. (그러나 언어에 의존하지 않는다고 생각한다.) 작은 (4 상태 최대) 비 결정적 유한 상태 오토마타 이진 알파벳에 나는 이전의 것들과 동등한 것을 위해 생성 된 automaton을 빨리 체크해야한다. 따라서 너무 많은 automatas를 사용하지 않으려면 몇 가지 좋은 해시 함수를 사용해야합니다. 첫 번째 생각은 전환
은이 같은 언어를 접수 받아보기 DCG를 만들려면 a와 b의 특정 순서가 있고, 그 다음에 c와 똑같은 순서가 있다는 것입니다. 이러한 조건이 충족되지 않으면 실패하게됩니다. 나는 내 방식으로 현재 여기입니다 (작품뿐만 아니라 잘못된 단어 인식) s --> x, s, x.
s --> [c].
x --> [a].
x --> [b].
당신의 사람이 내
L subscript 4 = {0,1} * - {0,01} *가되도록 DFA를 만들고 처음 5 개의 문자열을 사전 식 순서로 나열하십시오. L 첨자 4가 의미하는 바를 추론하는 데 문제가 있습니다. 길이 4의 문자열 언어입니까? 또한 두 언어를 빼면 빈 문자열에서 "1"을 뺀 문자열을 선택할 수 있습니다. 즉, 길이 0의 {0,01} *에서 길이 1을 뺀
제 계산 이론 수업에서 우리는 언어가 규칙적임을 증명하는 과제를 가지고 있습니다. 이 언어는 다음과 같이 정의된다 : 1ky B = {| y는 {0, 1}*에 있으며 y 누군가가 올바른 방향으로 날 밀어 수 있다면이를위한 기계를 만들기 위해 푸시 다운 오토마타가 필요하지만 것처럼 이 언어 나에게 보이는} k >= 1를 들어, 적어도 k 1 초를 포함 이것을
페이지 원본의 링크와 일치하는 정규식을 만들려고합니다. 나는 텍스트 같은 포맷 한 : 여기 뭔가 여기 <a class="_5syj" href="https://www.here.com/FirstCal?ref=br_rs">First Cal</a><span class="mls _1ccm9 _49"></span><a class="_fasc" href="https:/
정규 표현식을 입력하고 문자열의 최소 길이를 찾는 내 코드. 예 : ab*(ab)+ 그래서이 정규 표현식의 문자열 길이의 최소값은 3.38입니다. 내 코드는 (a|b)을 확인하는 동안 문제를 일으 킵니다. 세분화 오류가 발생합니다. 그러나 그것은 (a|b)*에 대해 잘 실행됩니다. #include <stdio.h>
#include <stdlib.h>
#
유한 다음 언어 {w : m : {A m B N을위한 정규 표현식입니다 승 + n≤k}} 여기서 k는 특정 자연수입니다. 무한 승이 아무도 PS를 설명 할 수 나는 언어의 가장 (K+1)*k/2 단어에있을 수 있기 때문에, 유한 생각하지만, 기준 답은 하나가 특정 정규 언어에 대한 정규 표현식?