«regular-expressions» 태그된 질문

목표는 정규식에서 DFA를 작성하는 것이며 "정규 exp> NFA> DFA 변환"을 사용하는 것은 옵션이 아닙니다. 어떻게해야합니까? 나는이 질문을 교수에게 물었지만 그는 우리가 직관을 사용할 수 있다고 말했고 친절하게 설명을 거부했다. 그래서 물어보고 싶었습니다. "정규 exp> NFA> DFA 변환"은 이러한 변환이 다소 복잡한 정규식을 변환하는 데 많은 시간이 걸리기 때문에 옵션이 아닙니다. …

12 automata  finite-automata  regular-expressions  simulation 

정규식을 입력 한 사용자를 NFA로 변환하여 일치하는 목적으로 문자열에 대해 NFA를 실행할 수 있습니다. 정규 표현을 구문 분석하는 데 사용할 수있는 최소 머신은 무엇입니까? 괄호가 존재한다는 것은 계산이 필요하고 DFA / NFA가 임의의 계산을 수행 할 수 없기 때문에 푸시 다운 오토 마톤이어야한다고 가정합니다. 이 가정이 맞습니까? 예를 들어, 식 …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

두 개의 임의의 정규식이 주어지면 동일한 문자열 세트와 일치하는지 판별하는 "효율적인"알고리즘이 있습니까? 보다 일반적으로 두 일치 세트의 교차 크기를 계산할 수 있습니까? 이를 위해 어떤 알고리즘이 있으며 어떤 복잡한 클래스가 있습니까? 우리가 Kleene 별을 허용하지 않으면 그 그림이 전혀 바뀌지 않습니까?

12 algorithms  regular-expressions 

일반 expresssion은 재귀 적으로 정의된다 ∈ Σㅏaa 일부 , 정규 표현식이다∈ Σa∈Σa \in \Sigma εε\varepsilon 은 정규 표현식입니다. ∅∅\emptyset 은 정규 표현식입니다. R 1 R 2( R1∪ R2)(R1∪R2)(R_1 \cup R_2) 여기서 및 는 정규식입니다.아르 자형1R1R_1아르 자형2R2R_2 R 1 R 2( R1∘ R2)(R1∘R2)(R_1 \circ R_2) 곳 및 정규 표현식 정규 표현식이되고있다,아르 …

11 formal-languages  regular-languages  regular-expressions 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 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 

올바르게 이해하면 NFA는 정규 표현식과 동일한 표현력을 갖습니다. 종종 NFA에서 동등한 정규 표현식을 읽는 것이 쉽습니다.주기를 별, 접합점으로 대체 등으로 변환합니다. 그러나이 경우에해야 할 일 : [ 출처 ] 사이클이 겹치면이 오토 마톤이 무엇을 받아들이는지 (정규 표현으로)보기가 어렵습니다. 트릭이 있습니까?

11 algorithms  formal-languages  finite-automata  regular-expressions 

정규 표현식을 보는 한 가지 방법은 다음 사실에 대한 건설적인 증거입니다. 작은 언어로 시작하여 작은 고정 된 클로저 속성 세트를 통해 정규 언어를 조합하여 일반 언어를 구성 할 수 있습니다. 특히 빈 언어, 빈 문자열을 포함하는 언어 및 모든 단일 문자 문자열의 언어로 시작하면 공용체, 연결 및 Kleene 스타를 사용하여 …

10 formal-languages  context-free  closure-properties  regular-expressions 

정규 표현식을 사용하여 정의 할 수있는 언어와 DFA / NFA (finite automata)로 인식 할 수있는 언어는 동일합니다. 언어에 대한 DFA도 없습니다 . 하지만 여전히 그것은 (그 문제에 대한 모든 비정규직 언어가 될 수있다)와 같은 정규 표현식을 사용하여 작성 될 수있다 . 그러나 우리는 정규 표현을 가진 모든 언어가 그것을 인식하는 …

10 formal-languages  regular-languages  regular-expressions 

이진수를 나눌 수있는 DFA를 nnn. 예를 들어 2로 나눌 수있는 이진수를 허용하는 DFA는 다음과 같이 구성 할 수 있습니다. 마찬가지로 3으로 나눌 수있는 이진수를 받아들이는 DFA는 다음과 같이 구성 될 수 있습니다. 잘 정의 된 절차에 따라 이러한 유형의 DFA를 구성 할 수 있습니다. 그러나 많은 수의 양식을 받아들이는 DFA를 …

9 regular-languages  automata  finite-automata  regular-expressions 

나는 공식 언어 대학 과정을 공부하고 있기 때문에 정규 표현식을 사용하여 소수를 찾는 방법을 설명하는 매혹적인 게시물 ( One Two )을 우연히 발견했습니다 . 내가 말한 것처럼, 정규 표현식 이 아닌 정규 표현식 . 정규 표현식은 유한 상태 오토마타 (Finite State Automata)에 의해 계산 된 문자열과 일치 할 수 있고 …

9 regular-expressions 

몇 주 전에 전산 시험 이론을 택했는데 이것이 질문 중 하나였습니다. 언어L={(anbm)r∣n,m,r≥0}엘={(ㅏ엔비미디엄)아르 자형∣엔,미디엄,아르 자형≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L은 규칙적인가요? 그렇다면 정규 표현식이나 오토 마톤을 제공하십시오. 시험 후 그에게 답을 간단히 물었을 때, 그것은 실제로 규칙적인 것처럼 보입니다 (그는 표현이 단순하다고 생각합니다 ). 그러나 그 이유를 이해할 수없는 것 같습니다. 내가 …

9 formal-languages  regular-languages  regular-expressions