«automata-theory» 태그된 질문

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

4
이차 공간에서의 DFA 교차점?
n 상태와 두 개의 (최소) DFA의 교차는 O (n 2 ) 시간과 공간을 사용하여 계산할 수 있습니다 . 결과적인 (최소한) DFA는 n 2 상태를 가질 수 있기 때문에 이것은 일반적으로 최적입니다 . 그러나 결과 최소 DFA에 z 상태가 z = O (n) 인 경우, 일부 상수 eps> 0에 대해 공간 …
1
무차별 대입 검색을 사용하지 않고 두 단어를 구분하는 가장 작은 DFA를 찾으십니까?
두 개의 문자열 x와 y가 주어지면 x를 수락하고 y를 거부하는 최소 크기 DFA를 만들고 싶습니다. 이를 수행하는 한 가지 방법은 무차별 대입 검색입니다. 가장 작은 것부터 시작하여 DFA를 열거합니다. x를 수락하고 y를 거부하는 DFA를 찾을 때까지 각 DFA를 시도하십시오. x를 수락하고 y를 거부하는 최소 크기 DFA를 찾거나 구축하는 다른 알려진 …
1
이차 시간에 일반 언어의 교차 공허함 결정
하자 NFA 쌍이에 의해 주어진 두 개의 정규 언어가 될 입력으로.M 1 , M 2엘1, L2L1,L2L_1,L_2엠1, M2M1,M2M_1,M_2 인지 확인하고 싶다고 가정하자 . 이것은 의 제품 오토 마톤을 계산하는 2 차 알고리즘으로 명확하게 수행 할 수 있지만 더 효율적인 것이 있는지 궁금합니다.M 1 , M 2엘1∩ L2≠ ∅L1∩L2≠∅L_1\cap L_2\neq \emptyset엠1, M2M1,M2M_1,M_2 …
1
다항식 크기의 DFA에서 인식되는 언어
고정 된 유한 알파벳 , 공식 언어 이상 입니다 일반 이있는 경우 결정적 유한 자동 장치 이상 (DFA) \ 시그마 정확히 받아 L가 .L ΣΣΣ\Sigma엘LLΣΣ\SigmaLΣΣ\Sigma엘LL 나는 단어 길이에 따라 다항식으로 만 자라는 크기의 오토마타 패밀리에 의해 인식 될 수 있다는 의미에서 "거의"규칙적인 언어에 관심이있다. 공식적으로, 공식 언어 은 모든 단어 …
2
일반 언어로 단어를 달성하기 위해 문자를 예약 할 수 있는지 테스트
내가 해결 정규 언어 L을LL 알파벳에 ΣΣ\Sigma , 그리고 내가 전화하는 다음과 같은 문제를 고려 편지 일정 에 대한 L을LL . 비공식적으로, 입력은 각 문자에 대해 n 개의nn 문자와 간격을 제공하며 (즉, 최소 및 최대 위치) 두 번째 문자가 동일한 위치에 매핑되지 않도록 각 문자를 간격에 배치하는 것이 목표입니다. 결과 …
1
어떤 정규식
다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다. 정규식 감안 , 수행 ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ※L(β)=Σ∗L(\beta) = \Sigma^* 어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?αα\alpha 정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α )ββ\betaL …
4
푸시 다운 오토마타를 사용하여 문맥이없는 언어에 대한 펌핑 보조 성 증명
일반 언어에 대한 펌핑 보조 정리 , 공부 언어를 인식하는 유한 상태 자동 장치를 고려 상태의 수보다 길이 더 큰 문자열을 따기, 그리고 비둘기 집 원리를 적용하여 입증 할 수있다. 그러나 문맥이없는 언어 (약간 일반적인 Ogden의 정리)에 대한 펌핑 보조 는 연구 된 언어의 문맥이없는 문법을 고려하고 충분히 긴 문자열을 …
3
추상 기계가 자체를 시뮬레이션 할 수 있다면 튜링이 완료됩니까?
예를 들어, 프로그래밍 언어에서는 X-in-X 컴파일러 / 인터프리터를 작성하는 것이 일반적이지만,보다 일반적인 수준에서 알려진 많은 Turing-complete 시스템은 인상적인 방식으로 시뮬레이션 할 수 있습니다 (예 : Conway의 Game of Life에서 Conway의 Game of Life 시뮬레이션) ). 그래서 내 질문은 : 시스템이 튜링이 완료되었음을 증명하기에 충분히 시뮬레이션 할 수 있습니까? 반드시 필요한 …
5
특수 언어 클래스 : "원형"언어. 알고 있습니까?
유한 알파벳 시그마에 대해 다음과 같은 "원형"언어 클래스를 정의하십시오. 실제로, 그 이름은 DNA 컴퓨팅 분야에서 사용되는 것으로 보이는 다른 것을 나타내는 것으로 이미 존재합니다. AFAICT, 그것은 다른 종류의 언어입니다. 언어 L은 Σ ∗의 모든 단어 www 에 대해 순환 iff입니다 .Σ∗Σ∗\Sigma^* www모든 정수k>0k>0k > 0 에 대해 가 L에 속하는 …
1
두 개의 카운터 오토마타에 대한 추측
다음과 같은 추측을 증명하거나 반증하고 싶습니다. 추측 : 2 카운트 오토마타 (2CA)는 다음 언어를 결정할 수 없습니다. L={n∣L={n∣L = \{ n \mid 의 원과 이진 표현 짝수 또는 홀수 길이의 길이가 모두nnn}}\} 2CA는 이진 표현의 길이가 짝수인지 홀수인지를 쉽게 확인할 수 있습니다 (2로 나누고 각 나누기 후에 "짝수 길이"플래그를 업데이트하기 …
3
튜링 머신의 개념은 오토마타에서 파생 되었습니까?
최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?" 나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다. …
1
DFA에서 크기가
문제는 간단하고 직접적입니다. 고정 , 크기 n (즉, n 상태) 의 DFA에서 몇 개의 (다른) 언어를 사용할 수 있습니까? 나는 이것을 공식적으로 진술 할 것이다 :엔nn엔nn엔nn DFA를 로 정의하십시오. 여기서 모든 것이 평소와 같으며 δ : Q × Σ → Q 는 (부분적으로) 함수입니다. 때로는 총 함수 만 유효한 것으로 …
2
Cerny 추측의 상태?
DFA의 상태를 단일 상태로 보내는 문자열이 있으면 DFA에 동기화 단어 가 있습니다. AN Trahtman (Discrete Mathematics and Theorytical Computer Science vol. 9 : 2, 2007, pp.3-10)의 '비 주기적 오토마타에 대한 Cerny 추측'에서 그는 다음과 같이 썼다. Cerny는 1964 년에 모든 n- 상태 동기화 가능 DFA는 최대 길이 의 동기화 단어를 …
4
대부분의 REGEX 구현은 어디에서 복잡성 규모에 해당합니까?
perl 또는 .NET과 같은 대부분의 최신 정규식 구현은 lookahead 및 lookbehind와 같은 기능을 가진 REGEX의 고전적인 컴퓨터 과학 정의를 뛰어 넘습니다. 이러한 기능을 통해 푸시 다운이 아닌 유한 오토 마톤으로 설명 할 수없는 문장을 구문 분석 할 수 있습니까? 튜링 완료에 얼마나 근접 할 수 있습니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.