automaton

2열

2답변

자기 루프, 결정 성 또는 비 결정적 상태 기계에 두 개의 입력이 있습니까?

위키 백과에서는 Deterministic State Automation이 "각 입력 문자열에 대해 고유 한 자동 연산 (또는 실행)을 생성합니다"라고 명시합니다. 나는 언제나 고유 한 문자열을 계산할 수있는 가능한 경로가 오직 하나 인 것으로 알고 있습니다. 이 경우 다음은 DSM입니다. 하지만 지금 나는 이것을 무시하고 하나의 가능한 경로를 가진 각 입력

1열

2답변

dk.brics.automaton 패키지는 안전합니까?

아파치 루씬 usesBrics 오토 마톤 패키지의 수정 된 형태. 하지만 Brics 스레드는 안전합니까? 더 구체적으로 , 안전하게 다른 스레드에서 여러 동시 자동 장치 인스턴스를 처리 할 수 - 블록하지 않고?

1열

2답변

오토 마톤을 그리는 도구

2 개의 오토 마톤 (실제로는 트랜스 듀서)의 구성을하고 있습니다. 그래서 그것을 분석하기 위해 그것을 시각적으로 표현하고 싶습니다. 어떤 도구/라이브러리가 가장 적합합니까? 사람들이 내게 도트와 그래프를 제안했습니다. 어떤게 더 좋아? 나는 OCaml에 코드를 작성하고있다. 그걸 그리기위한 도서관이 있나요? 이것은 추출하고자하는 변환기의 예입니다.

2열

1답변

DFA보다 강력하지만 DPDA보다 작은

유한 오토 마톤보다 강력하지만 결정적 푸시 다운 오토 마톤보다 강력하지 않은 것이 있습니까?

0열

1답변

TAP 테스트 결과에 로그 파일을 첨부하는 방법은 무엇입니까?

테스트 결과 형식으로 TAP (Test Anything Protocol)을 사용하려고합니다. 그러나 테스트 결과에 첨부하기 위해 필요한 일부 로그 파일이 있습니다. 나는 이것을 달성하기위한 좋은 습관을 찾고있다. a.log, 1..1 ok 1 - sample.MyFirstTest#testCurrentTime --- message: Hel

10열

1답변

는 C++ 나는 단어가 결정적 유한 자동 장치</p> <p>I에 대한 전환 기능에 의해 허용할지 여부를 결정해야 오토마타 이론에 대한 할당을하고있어

을에서 비 결정적 유한 오토 마톤을 시뮬레이션하는 코드를 구현 이 입력 파일을 가지고 다음 오토 마톤의 천이의 수는,가 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 3 aaabcccc aabbbbcdc acdddddd 입력이 먼저 오토 마톤을위한 상태의 수이다 4 개

1열

1답변

특정 입력에 내 C++ 프로그램이 충돌하는 이유는 무엇입니까?

언젠가 비 결정적인 유한 자동 기계 (NFA)를 시뮬레이트하기위한 프로그램, 특히 문자열 인식기를 사용하려고합니다. 여러 실패 후, 덕분에 사용자 Konrad Rudolph, 나는이 의사 기반으로하는 솔루션을 구현할 수 : 음, NFA 당신이 현재 상태의 집합을 가지고 있고, 각 단계에서 모든 현재의 상태를 통해 이동, 그리고 각각에 대해 유효한 모든 전환

2열

2답변

regex engine dk.brics.automaton에서 유니 코드를 사용할 수 있습니까?

정규식에서 유니 코드를 사용하고 싶습니다. 예를 들어 RegExp = "\ u0061"은 "a"와 일치합니다. 하지만 dk.brics.automaton가이를 지원하지 않는 것 같습니다. 일치하는 "u0061"이 나타났습니다. 나는 또한 RegExp = "\ u0061"과 RegExp = "\\ u0061"을 시도했다. 아무도 작동하지 않습니다. 이 도구를

0열

1답변

문법 도움 (이론의 Automata)?

안녕하세요 여러분, 제가 Automaton에 대한 간단한 질문이 있는데, 이것이 올바른 질문인지 아니면 이런 종류의 질문인지 아닌지 잘 모르겠습니다. 실제로 올해 저는 컴파일러 작성 과정을 갖고 있으며, 훌륭한 자료가 있다면 누구나 여기에 게시하는 것이 좋습니다. 처음에는 매우 기본적인 질문이 있습니다. 예를 들어, 2 + 3 * 5와 같은 표현이 있는데,

-1열

1답변

왜 언어가 규칙적이지 않습니까?

언어가 규칙적인 것이 아님을 보여줍니다. L = {a^n b^m : n> m}