«nondeterminism» 태그된 질문

비결정론의 사용과 구체적으로 관련된 자동 장치, 형식 문법 또는 기타 계산 모델에 대한 질문. 임의성 또는 모호함과 혼동하지 마십시오!

2
양자 TM과 비 결정적 TM의 차이점은 무엇입니까?
양자 튜링 기계를 정의하는 방법 에 대한 토론을 겪었습니다. 그리고 나는 양자 TM과 비 결정적 TM이 하나 라고 생각합니다 . 다른 질문에 대한 답은 그 점에 영향을 미치지 않습니다. 이 두 모델은 동일하고 동일합니까? 그렇지 않다면 퀀텀 TM과 NDTM의 차이점은 무엇입니까? NDTM이 Quantum TM보다 더 빠른 계산이 있습니까? 이 경우 …
7
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까?
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까? 위키 백과에서 확률 적 알고리즘은 그 로직의 일부로서 난수의 정도를 사용하는 알고리즘이다. 이 알고리즘은 일반적으로 가능한 모든 랜덤 비트 선택에 대해 "평균 경우"에서 우수한 성능을 달성하기 위해 동작을 안내하기 위해 보조 입력으로 균일하게 랜덤 비트를 사용합니다. 공식적으로, 알고리즘의 성능은 임의의 비트에 의해 …
3
동등한 DFA가 최대 크기가되도록 NFA의 조건은 무엇입니까?
우리는 DFA가 표현력면에서 NFA와 동등하다는 것을 알고 있습니다. NFA를 DFA로 변환하는 알려진 알고리즘도 있습니다 (불행히도 이제는 해당 알고리즘의 발명자를 알고 있습니다). 최악의 경우 NFA에 상태 가있는 경우 상태가됩니다 . S2S2S2^SSSS 내 질문은 : 최악의 시나리오를 결정하는 것은 무엇입니까? 다음은 모호한 경우 알고리즘의 전사입니다. 하자 NFA 될. 여기서 DFA .A ′ …
10
비결정론이 왜 유용한 개념입니까?
오토 마톤은 디지털 컴퓨터의 추상 모델입니다. 디지털 컴퓨터는 완전히 결정적입니다. 그들의 상태는 언제든지 입력과 초기 상태에서 유일하게 예측할 수 있습니다. 실제 시스템을 모델링하려고 할 때 오토마타 이론에 비결정론을 포함시키는 이유는 무엇입니까?
3
NFA의 DFA가 기하 급수적으로 상태를 가질 수 있음을 증명하는 방법은 무엇입니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 모든 비 결정적 유한 오토마타는 동등한 결정적 유한 오토마타로 전환 될 수 있습니다. 그러나 결정 론적 유한 오토마타는 상태에서 가리키는 심볼 당 하나의 화살표 만 허용합니다. …
4
비 결정적 오토마타에 대한 정지 문제 정의
적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …
1
결정 론적 및 비 결정적 최소 힙 오토마타의 계산 능력
이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( )에 의해 받아 들여진 언어 세트가 컨텍스트가없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아니라는 것을 보여줄 …
7
왜 NFA가 비결정론 적이라고 불리는가?
나는이 [재미있는] 질문을 염두에두고있다. 왜되는 비 결정적 유한 오토 마톤 라는 비 결정적 우리는 입력에 대해 전환을 정의하면서. 글쎄, 다중 및 엡실론 전환 이 있지만 , 그것들은 기계가 그러한 전환에 결정적임을 의미합니다. 그것은 결정적이라는 것을 의미합니다.
4
푸시 오토 마톤 "추측"-그게 무슨 뜻입니까?
나는 비결정론 적 푸시 다운 오토마타가 몇몇 주 중에서 "선택"할 수 있고 결정 론적 푸시 다운으로 받아 들일 수없는 문맥이없는 언어가 있기 때문에 결정 론적 푸시 다운에 비해 개선 될 수 있다는 것을 알고 있습니다. 아직도, 나는 그들이 어떻게 정확하게 "선택" 하는지 이해하지 못한다 . 예를 들어 palindormes의 경우, 내가 …
3
DFA 최소화가 아닌 경우 NFA 최소화가 어려운 문제인 이유는 무엇입니까?
동등한 상태를 찾아 병합하여 DFA를 최소화 할 수 있지만 NFA와 동일한 결과를 얻을 수없는 이유는 무엇입니까? 증거가 이해하기 쉽지 않은 한, 나는 증거 나 그와 비슷한 것을 찾고 있지 않습니다. DFA 최소화가 아닌 경우 NFA 최소화가 어려운 이유를 직관적으로 이해하고 싶습니다.
2
무작위 알고리즘의 분류
무작위 알고리즘에 대한 Wikipedia 에서 예상되는 실행 시간이나 메모리 사용량을 줄이기 위해 임의의 입력을 사용하는 알고리즘 을 구분 해야하지만 항상 제한된 시간 내에 올바른 결과로 종료해야하며 확률 적 알고리즘 은 임의의 입력에 따라 기회가 있습니다 실패를 알리거나 종료하지 않음으로써 잘못된 결과 (Monte Carlo 알고리즘)를 생성하거나 결과 (Las Vegas 알고리즘)를 생성하지 …
7
DFA가 NFA보다 효율적이라고 말할 수 있습니까?
방금 계산 이론에 대해 읽기 시작했습니다. 어느 것이 더 강력한 지 (문자열 수용에서) 비교하면 둘 다 동일합니다. 그러나 효율성은 어떻습니까? DFA는 나가는 가장자리가 하나 뿐이며 모호성이 없으므로 NFA에 비해 빠릅니다. 그러나 NFA의 경우 가능한 모든 사례를 확인해야하며 시간이 오래 걸립니다. DFA가 NFA보다 더 효율적이라고 말할 수 있습니까? 그러나 뇌의 다른 …
3
NFA는 엡실론 전환을 어떻게 사용합니까?
아래 그림에서이 NFA가 정확히 무엇을 받아들이고 있는지 파악하려고합니다. 나를 혼란스럽게하는 것은 q 0 에서 의 점프 입니다.ϵϵ\epsilonq0q0q_0 경우 을 입력, 모두 시스템 이동하지 Q 0 및 Q 1 (상태를 동의)을?000q0q0q_0 q1q1q_1 경우 입력, 모두 시스템 이동하지 Q 1 과 Q 2를 ?111q1q1q_1q2q2q_2 입력 이 없으면 (빈 문자열) 시스템이 (상태 수락) …
1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.