«automata-theory» 태그된 질문

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

1
두 가지 결정 론적 CFG를 구별하는 정규 언어
두 개의 주어진 가정 해 결정 론적 언어 인식 오토마타 아래로 밀어 와 B를 정기적으로 언어가 있는지 여부를 확인하고, 소원을 R 등이 ⊆ R 및 R ∩ B = ∅ . 기본적으로 문제는 주어진 두 언어 중 어떤 언어가 해당 언어 중 하나에서 왔는지 인식 할 수있는 DFA가 있는지 확인하는 …
2
유한 오토마타를위한 의사 난수 발생기
를 상수로 하자 . state finite automata 를 속이는 의사 난수 발생기를 어떻게 만들 수 있습니까?ddddddd 여기서, 유한 오토마타는 노드, 시작 노드, 수락 상태를 나타내는 노드 세트, 및 각 노드에서 나오는 0, 1로 표시된 두 개의 직접 에지를 갖는다. 입력을 읽을 때 자연스럽게 상태를 변경합니다. 주어지면 , 찾아서 유한 오토 …
1
잔류 유한 상태 오토마타 최소화
잔여 유한 상태 오토마타 ([DLT02]에 정의 된 RFSA)는 DFA와 공통점이있는 NFA입니다. 특히 모든 정규 언어에 대해 표준 최소 크기의 RFSA가 항상 있으며 RFSA의 각 주에서 인식되는 언어는 DFA에서와 마찬가지로 잔류입니다. 그러나, 최소의 DFA 상태는 모든 잔차와 함께 약탈을 형성하지만, 정식 RFSA 상태는 주요 잔차와 함께 약화된다; 이들 중 기하 급수적으로는 …
1
언어 클래스 계층 구조, 폐쇄 속성 등을 설명하는 서적 / 설문지가 있습니까?
현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다. 이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다. …
1
DFA에 대한 동등성 쿼리 비용
이 질문 에서 영감을 얻어 다음에 대해 궁금합니다. 주어진 DFA가 주어진 정규 표현식과 동일한 언어를 허용하는지 확인하는 최악의 경우는 무엇입니까? 이것이 알려져 있습니까? 이 문제가 P에 있기를 바랍니다. 둘 다 크기의 알고리즘 다항식이 있기를 바랍니다.
2
부치의 표현 대 CTL (*)
LTL , Büchi / QPTL , CTL 및 CTL * 의 표현력 사이에는 어떤 관계가 있습니까? 가능한 한 많은 시간적 논리 (특히 선형 시간과 분기 시간 사이)를 다루는 참고 자료를 줄 수 있습니까? 이러한 시간적 논리와 실제 특성을 예로 든 벤 다이어그램이 완벽합니다. 예를 들어 : Büchi에는 지정할 수 있지만 …
2
다중 자갈 오토마타가 결정 론적 상황에 맞는 모든 언어를 결정할 수 있습니까?
MPA (multipebble 오토 마톤)는 2DFA 실제로 최대 자갈 (임의의 개수를 사용할 수있다 (양방향 결정적 유한 오토 마톤을)은 주어진 입력 자갈 승 - 입력은 두 개의 단부 사이에서 테이프에 기록된다 - # w # )로 표시됩니다. 계산 중에 MPA는 헤드 아래의 심볼에 조약돌이 있는지 여부를 감지 한 다음 조약돌 (조약돌)이 없으면 …
3
언어의 유한 한 관점을 만족시키는 최소 DFA
언어 가 있지만 실제로 어떤 문자열이 언어의 일부인지 모릅니다. 보유 모두 한 언어의 유한이다 : 문자열 유한 집합 ⊆ L 언어로 알려져 있으며, 문자열의 유한 세트 B ⊆ ( Σ * ∖ L ) 에 있지 알려져있다 언어.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) 예를 들어, 내가 가지고 …
3
외부의 "간단한"언어
다음 속성을 가진 언어 L을 찾고 있습니다. L은 문맥이 없어야합니다. L의 보수는 문맥이 없어야합니다. (문맥에서 비 문맥이없는 언어의 주요 사례로 보는 것은이 두 번째 요구 사항을 충족시키지 못하는 것 같습니다.) L은 너무 어렵지 않아야합니다. 예를 들어, 결정 불가능한 언어가 처음 두 가지 요구 사항에 맞다는 것을 알고 있지만, 내가 원하는 …
2
주어진 정규 언어에 무한 접두사가없는 부분 집합이 있습니까?
유한 알파벳 위의 단어 세트는 하나가 다른 하나의 접두사 인 두 개의 다른 단어가없는 경우 접두사 가 없습니다. 질문은 ~이야: NFA로 지정된 일반 언어에 무한 접두사가없는 하위 집합이 포함되어 있는지 확인하는 것이 복잡합니까? 답 (아래의 Mikhail Rudoy로 인해) : 다항식으로 할 수 있으며 NL에서도 생각합니다. Mikhail의 답을 해석하면 (Σ,q0,F,δ)(Σ,q0,F,δ)(\Sigma,q_0,F,\delta) 정상적인 …
3
"작은"튜링 머신 / NFA의 비 구조적 증거가 있습니까?
알고리즘의 비 구조적 존재 증명에 관한 관련 질문을 읽은 후에 실제로 그것을 작성하지 않고 "작은"(예 : 상태 별) 계산 기계의 존재를 보여주는 방법이 있는지 궁금했습니다. 공식적으로 : 언어 가 주어지고 일부 계산 모델 (NFA / 튜링 머신 등)을 수정 한다고 가정 합니다.L ⊆ Σ※L⊆Σ∗L\subseteq \Sigma^* L에 대한 머신 이 존재하지만 …
1
단일 카운터를 사용하는 단방향 교대 오토마타는 일부 단항 비정규 언어를 인식 할 수 있습니까?
단방향 교대 푸시 다운 오토마타 (1APDA)는 모든 언어를 인식 할 수 있습니다 (Chandra, Kozen 및 Stockmeyer, 1981) . 1APDA의 푸시 다운 스토리지를 카운터로 교체하면 단방향 교대 자동 장치를 1 카운터 (1ACA)로 얻을 수 있습니다. 제 질문은 단항 언어의 1ACA에 관한 것입니다.D T나는미디엄이자형( 2O ( n ))디티나는미디엄이자형(2영형(엔)) DTIME(2^{O(n)}) 1ACA가 일부 단항 …
1
주어진 정규 표현식에서 설명하는 언어를 인식하는 DFA를 구성하기 위해 어떤 알고리즘이 있습니까?
모든 교과서에서 정규 표현식이 지정된 DFA를 생성하기 위해 동일한 알고리즘을 사용합니다. 먼저 정규 표현식의 언어를 인식하는 NFA를 만든 다음 하위 집합 ( "powerset") 구성을 사용하여 NFA를 동등한 DFA ( 선택적으로 DFA 최소화). 또한 한 교수가 다른 알고리즘이 있다고 주장하는 것을 들었습니다. 누구나 아는 사람이 있습니까? 아마도 중간 NFA없이 정규식에서 DFA로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.