Introduction to Theory of Computation 2장_7,8 정리/설명
Introduction to Theory of Computation 2장_7,8 정리/설명 **정규식은 패턴을 의미하는 것. (0∪1) 01* : 첫 글자는 0 또는 1이 나와야 하며, 두 번째 글자는 0, 그 이후로는 1이 0번 이상 연속되는 string을 의미한다. - 피연산자 : 0, 1 - symbols - 연산자 : ∪(또는), *, 각각에 붙어 있는 글자들의 concatenation 연산 (ex) 00, 10, 001, 101, 001111 etc. Q. The language {w : w contains exactly two 0s} is described by the expression. A. 1*01*01* >> 0이 정확히 두 개만 존재해야 하기 때문에 두 개의 0의 맨 앞/중간/맨 뒤에..
2019. 10. 10.
Introduction to Theory of Computation 2장_4,5 용어/개념정리
Introduction to Theory of Computation 2장_4,5 용어/개념 정리 : Nondeterministic Finite Automata. 여태 보았던 DFA Diagram과 다른 점 세 가지가 있을 것이다. 1. q₁으로 가는 옵션이 0과 1 두 가지가 있다. 2. q₂에서 q₃로 가는 symbol 중에서 λ(empty string)가 보인다. 3. q₃에서 symbol 0을 읽지 못한다. (※ λ란? empty string, 길이가 0인 문자열 // 공집합과는 다름. ) 위의 State Digram에서 010110을 Input 한 다음의 트리 구조를 봐보자. **이제부터 q₁, q₂, q₃, q₄를 1,2,3,4로 쉽게 나타낼 것임. >> accept string은 '11', '..
2019. 9. 29.
Introduction to Theory of Computation 1장_2 용어,개념정리
Introduction to Theory of Computation 1장_2 용어, 개념 정리 : Sets, a collection of well-defined object 원소란? element, member (ex) { n | 1 ≤ n ≤ 3 인 정수 } = {1, 2, 3} - N : 자연수들의 집합, N = { 1,2,3,4, … } / set of natural numbers. - Z : 정수들의 집합, Z = { … -1, 0, 1, … } / set of integers. - Q : 유리수들의 집합, Q = { m/n | n과 m은 Z, n≠0 } / set of rational numbers. - e : 무리수들의 집합, set of irrational numbers. - R : 실수들의..
2019. 9. 13.
