«dfa» 태그된 질문

결정 론적 유한 오토마타에 대한 질문

11
유한 한 오토마타를 공부 한 후에 달성해야하는 깨달음은 무엇입니까?
나는 계산을 위해 재미를 위해 계산 이론을 수정 해 왔으며이 질문은 잠시 동안 잔소리가났다. "왜"정확히 결정 론적 및 비결정론 적 유한 오토마타 (DFA / NFA)를 연구 하는가? 그래서 다음은 독백 후에 나왔지만 여전히 'aha'순간에 대한 전반적인 기여를 보지 못한 답변입니다. 그들이 무엇이며 제한이없는 것을 연구하기 위해 왜? 그것들은 이론적 계산의 …
10
DFA에 대해 남아있는 문제가 있습니까?
저학년에서 결정 론적 유한 상태 오토마타 (DFA)를 공부 한 후, 그것들이 매우 잘 이해되었다고 생각했습니다. 내 질문은 우리가 여전히 이해하지 못하는 것이 있는지 여부입니다. DFA의 일반화를 의미하는 것이 아니라 우리가 공부하는 원래 수정되지 않은 DFA는 저학년입니다. 이것은 모호한 질문이지만 아이디어를 얻길 바랍니다. DFA를 완전히 이해한다고 말하는 것이 공정한지 이해하고 싶습니다. …
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
다항식 크기의 DFA에서 인식되는 언어
고정 된 유한 알파벳 , 공식 언어 이상 입니다 일반 이있는 경우 결정적 유한 자동 장치 이상 (DFA) \ 시그마 정확히 받아 L가 .L ΣΣΣ\Sigma엘LLΣΣ\SigmaLΣΣ\Sigma엘LL 나는 단어 길이에 따라 다항식으로 만 자라는 크기의 오토마타 패밀리에 의해 인식 될 수 있다는 의미에서 "거의"규칙적인 언어에 관심이있다. 공식적으로, 공식 언어 은 모든 단어 …
1
DFA에서 크기가
문제는 간단하고 직접적입니다. 고정 , 크기 n (즉, n 상태) 의 DFA에서 몇 개의 (다른) 언어를 사용할 수 있습니까? 나는 이것을 공식적으로 진술 할 것이다 :엔nn엔nn엔nn DFA를 로 정의하십시오. 여기서 모든 것이 평소와 같으며 δ : Q × Σ → Q 는 (부분적으로) 함수입니다. 때로는 총 함수 만 유효한 것으로 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
DFA의 효율적인 연결?
이 이론의 증거 DFAS의 교차점에 대한 순진 직교 - 제품 구성은 "우리가 할 수있는 최선"이라고는. 두 DFA의 연결은 어떻습니까? 간단한 구성은 각 DFA를 NFA로 변환하고 엡실론 전환을 추가하고 결과 NFA를 결정하는 것입니다. 더 잘할 수 있을까요? 최소 연결 DFA의 크기 ( "접두사"및 "접미사"DFA의 크기 측면)에 알려진 경계가 있습니까?
3
NDFA (nondeterministic finite automata)를 비 지수 공간 / 시간에서 결정적인 finite automata (DFA)로 효율적으로 변환 할 수 있습니까?
20 년 전, 정규 표현식에서 유한 상태 머신 (DFA)으로의 변환을 포함하는 정규 표현식 패키지를 구축했으며, 닫힌 정규 표현식 작업 (클린 스타, 연결, 역, 설정 작업 등)을 지원했습니다. 패키지의 최악의 성능에 대해 확신이 없었습니다. n 상태 NDFA는 2 ^ n 상태의 DFA로 간단하게 변환 될 수 있기 때문에 DFA는 NDFA와 동일한 …
2
유한 오토마타에 대해 잘 정의 된 나눗셈 연산이 있습니까?
배경: 두 개의 결정 론적 유한 오토마타 A와 B가 주어지면 C의 상태를 A의 상태와 B의 상태의 데카르트 곱으로함으로써 제품 C를 형성합니다. 그런 다음 전환, 초기 상태 및 최종 상태를 선택합니다. C는 A와 B 언어의 교차점입니다. 질문 : (1) C를 B로 "분할"하여 A를 찾을 수 있습니까? 동형까지도 독특합니까? 우리는 여기와 아래의 …
1
임의의 DFA로 단어 분리
DFA에 대한 흥미로운 공개 문제 중 하나에 나와 있습니다. DFA에 대해 공개 된 문제가 있습니까? 길이가 두 개의 문자열을 구분하는 데 필요한 DFA의 크기입니다 엔엔n. 임의의 DFA가 두 개의 주어진 (비 랜덤) 문자열을 분리하는 기능에 대한 결과가 있는지 궁금합니다. 충분히 많은 상태의 무작위 DFA는 문자열을 확률이 높은 것으로 구분합니다. 특히 …
2
유한 세트의 정규 표현식 크기 최소화
언어 사양으로 DFA가 있더라도 정규 표현식의 크기를 최소화하는 것은 PSPACE- 완전한 것으로 알려져 있습니다 . 언어가 유한하면 결과는 무엇입니까? 두 가지 모델에서이 문제를 고려할 수 있습니다. 입력은 언어의 모든 문자열이며 모든 문자열의 길이의 합으로 입력 크기를 측정합니다. 입력은 DFA이며 DFA 상태 수에 따라 입력 크기를 측정합니다. Kleene 별은 유한 경우에 …
2
매우 큰 NFA를 DFA로 변환하기위한 알고리즘
나는 결정적이지 않은 유한 한 오토 마톤을 가지고 있으며이를 DFA로 변환해야합니다. 큰 의미에서 나는 40000 개 이상의 상태를 의미합니다. 지금까지 몇 가지 실험을 수행하고 테이블을 검색하는 기본 알고리즘을 프로그래밍 했지만 ( 여기에 설명 된대로 ) 최적화 후에도 메모리 속도가 매우 느리고 매우 소비됩니다. 나는 국가의 수가 기하 급수적으로 증가 할 …
12 dfa 
1
DFA에 대한 동등성 쿼리 비용
이 질문 에서 영감을 얻어 다음에 대해 궁금합니다. 주어진 DFA가 주어진 정규 표현식과 동일한 언어를 허용하는지 확인하는 최악의 경우는 무엇입니까? 이것이 알려져 있습니까? 이 문제가 P에 있기를 바랍니다. 둘 다 크기의 알고리즘 다항식이 있기를 바랍니다.
1
주어진 정규 표현식에서 설명하는 언어를 인식하는 DFA를 구성하기 위해 어떤 알고리즘이 있습니까?
모든 교과서에서 정규 표현식이 지정된 DFA를 생성하기 위해 동일한 알고리즘을 사용합니다. 먼저 정규 표현식의 언어를 인식하는 NFA를 만든 다음 하위 집합 ( "powerset") 구성을 사용하여 NFA를 동등한 DFA ( 선택적으로 DFA 최소화). 또한 한 교수가 다른 알고리즘이 있다고 주장하는 것을 들었습니다. 누구나 아는 사람이 있습니까? 아마도 중간 NFA없이 정규식에서 DFA로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.