본문 바로가기
반응형

Computer Science/계산이론10

집합, 관계 계산이론 내용에 들어가기 앞서 수학적인 내용을 정리하는 부분입니다. 집합 (Set) 집합은 원소들의 모음입니다. 표기는 다음과 같이 작성합니다. x ∉ S : x는 집합 S의 원소가 아님. x ∈ S : x는 집합 S의 원소. 집합 중에서 원소의 개수가 유한한 집합을 유한(Finite) 집합이라고 하고, 원소의 개수가 무한한 집합을 무한(Infinite) 집합 이라고 합니다. 집합의 정의는 크게 2가지로, 원소 나열법(Enumeration), 조건 제시법(Comprehension) 이 있습니다. 원소 나열법은 집합의 원소를 쭉 작성하는 방법이고, 조건 제시법은 어떤 조건 x를 작성해두는 것으로 해당 집합에는 조건 x에 맞는 원소만 있습니다. ex) {i | i > 0, i % 2 == 1} 해당 조건으로.. 2023. 12. 22.
기호, 의미, 계산 (Syntax, Semantics, Computation) 기호 (Syntax)에 의한 형식 언어 언어는 기호(시그마로 표기)로 이루어진 스트링의 집합으로 구성이 됩니다. 형식 언어(Formal Language)는, 모든 원하는 스트링이 빠짐없이 포함되고, 불필요한 스트링이 첨가되지 않는 것으로, 그 과정에서 집합(Set)이나 연산자(Set Operation)을 사용하게 됩니다. ex) Language L1, L2가 있을 때, L1 ∩ L2, L1 U L2, L1 - L2 등등의 Set Operation을 활용하여 새로운 Language를 정의할 수 있습니다. 현재 컴퓨터에서 사용하는 모든 언어는 형식 언어가 사용되고 있습니다. 언어는 제일 단순한 형태인 정규 언어(Regular Language)와 정규 언어에서 두 문자의 발생 빈도 수가 연관되는 문맥 자유 언.. 2023. 12. 22.
반응형