«automata-theory» 태그된 질문

추상 기계, 문법, 파싱, 문법 추론, 변환기 및 유한 상태 기술을 포함한 오토마타 이론

3
수식을 LTL로 표현할 수 없지만 Buchi automata로 표현할 수 있음을 증명하는 방법은 무엇입니까?
부치 오토마타가 LTL보다 더 표현력이 높은 모델 일뿐만 아니라 특정 수식을 LTL로 표현할 수 없다는 것을 증명할 수있는 일반적인 기술을 찾고 있습니다. 예를 들어, " 는 적어도 짝수 위치에서 발생합니다"는 다음 Buchi 오토마타로 설명 할 수 있습니다. ( q 0 , q 1 , Σ , δ , q 0 …
1
DFA 크기의 함수로서 일반 언어의 동등성 클래스 수
이 질문은 관련이 최근 문제 로 Janoma . 배경 제약 프로그래밍에있어서, 일반 글로벌 제약 도메인을 통해 한 쌍 과 변수 튜플 (범위) 및 도메인 위에 DFA . 과제 에 만족 경우 문자열을 수락 .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) 아래에서는 도메인 가 고정되어 있다고 가정합니다 . 모든 DFA 대해 또는 경우 가 되도록 문자열 …
1
L (M)이 DCFL에있는 PDA M이 주어지면 L (N) = L (M)이되도록 DPDA N을 구성하십시오.
이것은 입력으로서 취 알고리즘을 구성 할 수있다 푸시 다운 오토 마톤 이 오토 마톤 수락 언어한다는 약속과 함께 결정적 문맥 자유 언어이고 출력 결정적 푸시 마톤 정확하게 언어를 허용 받아 에 의해 ?MMML(M)L(M)L(M)NNNMMM 동등한 문제는 입력으로 푸시 다운 오토마타 ( 이 위와 같이 결정적 이라는 약속 )과 결정 론적 푸시 …
1
정규 언어를위한 Ehrenfeucht-Fraïssé 게임 (실제로는 아지 타이-파긴).
125 페이지로 Immerman (설명 적 복잡성, 1999) 선물 존재 모나드 두 번째 순서 (Ajtai-FAGIN 게임)에 대한 EF 게임 다음과 같이 단어 MSO하는 일반 언어에 해당 게임은 기록 할 수 있습니다.∃∃\exists 언어 : 그리고 데릴라 다음 게임에서 승리 전략이없는 경우 만 규칙적 1. 삼손 선택 , 2 데릴라를 선택한다면 , 3 …
2
동등한 DFA에 많은 주가 필요한 2DFA?
DFA를 사용하여 시뮬레이션하기 위해 2 개 이상의 n 개 상태 가 필요한 개 상태 의 nD (여기서 n 은 중요하지 않은 경우, 4 이상) 가있는 2DFA가 있습니까?nnnnnn2n2n2^n 양방향 DFA (2DFA)는 한 방향으로 만 입력 헤드를 이동시킬 수 유한 상태 오토 마톤 달리 읽기 전용 입력 테이프 진퇴시킨다 결정적 유한 상태 …
1
트랜스 듀서의 출력 길이가 입력 길이에 의해 제한되는지 여부를 결정할 수 있습니까?
여기에서 고려되는 변환기는 Wikipedia가 유한 상태 변환기를 호출하는 변환기 입니다. 변환기의 동작 , 그 계산의 관계가 기록되어있다, : 워드 위한 출력 인 IFF .[ T ] y x x [ T ] y티TT[ T][T][T]와이yy엑스xxx [ T] yx[T]yx[T]y 질문 : 다음 문제를 결정할 수 있습니까? 주어진 : 트랜스 듀서 와 정규 …
2
단어 목록 분리
분리 문제로 알려진 공식 언어에는 개방 된 문제가 있습니다. 이것은 길이 의 두 개의 별개의 문자열이 주어 졌을 때 간단히 언급되는데 , 얼마나 많은 DFA가 그것들을 "분리"해야하는지에 따라 한 문자열은 받아들이지 만 다른 문자열은 거절한다는 의미입니다.nnn 다음은 관련 논문 1 , 2 입니다. (몇 개 더 있지만 게시 할만한 평판이 …
2
단어 (즉, 무한 단어)를 받아들이는 오토마타 최소화
Büchi-Automata (또는 Müller-Automata)를 최소화하기위한 표준 접근법은 무엇입니까? 유한 단어에서 일반적인 기술을 이전하는 것, 즉 받아 들여진 상태에서 "실행 중"이라는 단어가 동일한 경우 두 상태를 동일하게 설정하면 작동하지 않습니다. 예를 들어 Büchi-Automoton이 초기 상태와 최종 상태의 두 가지 상태로 구성된 무한한 수의 a를 가진 모든 단어를 받아들이고 a를 읽을 때마다 최종 …
2
정규 언어가 추가되어 폐쇄됩니까?
구체적으로 덧셈의 의미는 를 알파벳 { 0 , 1 , 2 ,로 정의 합니다. . . , 나는 } . 지정된 정규 언어 와 B 약간의 알파벳에서 Σ 전 에서,보기 × B .Σ나는Σi\Sigma_i{ 0 , 1 , 2 , . . . , 나는 }{0,1,2,...,i}\{0, 1, 2, ..., i\}ㅏAA비BBΣ나는Σi\Sigma_iA × …
2
주목할만한 정규 표현 오토마타의 분류
특정 도메인에서 복잡도 속성에 대한 경험적 테스트를 수행하기 위해 정규 표현식을 오토마타로 변환하는 알고리즘 분류법을 작성하려고합니다. 나는 몇 가지 '더 큰'이름을 알고 있습니다. 톰슨 "정규 표현식 검색 알고리즘", 1968 년 톰슨 글루시 코프 "정규 표현식을 오토 마톤으로 변환하는 새로운 이차 알고리즘", Ponty 등. 알, 1996 안티 미 로프 "정규 표현과 …
5
오토마타 이론 / 공식 언어 논문 주제
모두 안녕하세요, 저는 현재 일부 자동화 이론의 일부 또는 공식 언어와 관련된 견고한 석사 논문 주제를 찾으려고 노력하고 있습니다. 나는 수용 가능한 주제가 무엇인지, 야심은 있지만 동시에 할 수있는 것에 대한 좋은 아이디어를 만들어 내려고 노력하고 있습니다. 어떤 제안이라도 대단히 감사하겠습니다!
1
머리를 가진 유한 상태 오토마타는 어떤 종류의 언어를 인식 합니까?
DFA 또는 NFA는 단일 헤드가있는 입력 문자열을 통해 왼쪽에서 오른쪽으로 읽습니다. 여러 개의 헤드 를 가진 유한 상태 기계에 대해 궁금해하는 것은 당연한 것으로 보입니다 . 각 헤드 는 왼쪽에서 오른쪽으로 입력을 통해 이동하지만 입력에서 다른 곳과 반드시 ​​같은 위치에 있지는 않습니다. 다음과 같이 헤드가 있는 유한 상태 머신을 정의하겠습니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.