[Automata] Statement

Statement

---

포스트 난이도: HOO_Junior

[Notice] 포스트 난이도에 대한 설명

---

 

# Statement

Automata에서 Statement은 아래와 같은 구성 요소를 포함하고 있다.

• Concepts
• Logical symbols

Statement를 정의하기 위해서는 Concepts과 Logical symbols들을 통해 가능하다.

Concept은 Concept name, parameter, input, output으로 정의되며, Logical symbol은 Logic connectives와 Quantifiers들로 정의된다.

---

# Concept

Concept에 대한 부분은 이전 포스트에서 다뤘기 때문에 아래 포스트 링크를 통해 참고하면 된다.

https://whoishoo.tistory.com/272

[Automata] Function and Concept

 

---

# Logical Symbols

Logical symbols는 우리가 흔히 아는 and, or, if 등을 의미한다.

여기서 and 나 or, if는 logic connectives에 해당한다.

 

Logic connectives의 예는 아래와 같다.

• negation()
• and
• or
• if
• if and only if

각각의 Logic connectives는 그들만의 symbol을 가지고 있다.

여기서 유의할 점은 logic symbol과 arithmetic symbol을 혼동해서는 안된다.

예를 들어 negation은 ¬라는 기호를 사용하며, and는 ^라는 기호를 사용한다.

or은 v를 사용하며 if는 ->라는 기호를 사용한다.

마지막으로 if and only if의 경우에는 <->라는 기호를 logic symbol로 사용한다.

 

Quantifiers도 Logic symbol에 속한다.

• all
• exists

all symbol은 ∀라고 표기하며 exist는 ∃라고 표기한다.

---