[2020-06-04] μ΄μ°μν + κ΅κ°κ·Όλ‘μΈν΄ 2μ°¨ μλ₯νκ°
β μ λͺ©
π₯ κΈμ£Όμ λͺ©ν
- μ 보μ²λ¦¬κΈ°μ¬ μ λ¦¬μ§ 3ν μ λ
- μ 보μ²λ¦¬κΈ°μ¬ λ¬Έμ νμ΄λ³΄κΈ°
- μΊ‘μ€ν€ νλ‘μ νΈ μ€λΉνκΈ°
π 곡λΆλ΄μ©
[ μ΄μ°μν - μ ν μν κΈ°κ³ ]
κΈ°κ³λ 무μμΈκ°?
- μ λ ₯μ λ°λ₯Έ μΆλ ₯μ μ 곡νλ κ²μ΄λ€.
- μ΄λ μΆλ ₯μ μνμλ°λΌμ λ¬λΌμ§ μ μλ€.
- μνμ μμ‘΄μ μ΄λ€.
μ ν μν κΈ°κ³
- λ°λ¦¬κΈ°κ³
- 무μ΄κΈ°κ³
λ°λ¦¬κΈ°κ³
- μνμ ννμ β³= (π,πΌ,π,πΏ,πΎ,π 0)
- πλ μν μ§ν© (λλ μν 곡κ°)
- πΌλ μ λ ₯ κΈ°νΈ μ§ν© (λλ μ λ ₯ μνλ²³)
- πλ μΆλ ₯ κΈ°νΈ μ§ν© (λλ μΆλ ₯ μνλ²³)
- πΏβΆπ×πΌ→πλ μν μ μ΄ ν¨μ (λλ λ€μ μν ν¨μ)
- πΎβΆπ×πΌ→πλ μΆλ ₯ ν¨μ
- π 0∈πλ μμ μν
- νΉμ§
- μνμμ μνλ‘ μ μ΄ν λ μΆλ ₯
무μ΄κΈ°κ³
- μνμ ννμ β³=π,πΌ,π,π,π,π 0
- πλ μν μ§ν© λλ μν 곡κ°
- πΌλ μ λ ₯ κΈ°νΈ μ§ν© λλ μ λ ₯ μνλ²³
- πλ μΆλ ₯ κΈ°νΈ μ§ν© λλ μΆλ ₯ μνλ²³
- π:π×πΌ→πλ μν μ μ΄ ν¨μ λλ λ€μ μν ν¨μ
- π:π→πλ μΆλ ₯ ν¨μ
- π 0∈πλ μμ μν
- νΉμ§
- μνμμ μΆλ ₯
- λ°λ¦¬ κΈ°κ³ vs λ¬΄μ΄ κΈ°κ³
- μΆλ ₯μ΄ μ μ΄μμ μΌμ΄λλλ , μνμμ μΌμ΄λλλμ μ°¨μ΄
νλ§κΈ°κ³
μ ν μν μ€ν λ§νλ‘ κ°λ₯ν μΌ
- μ κ· μΈμ΄ μΈμ
- λ μμ λ§μ μ ν μν
μ€ν λ§νλ‘ λΆκ°λ₯ν μΌ
- λ¬Έλ§₯ μμ μΈμ΄ μΈμ
- λ μμ κ³±μ
νλ§ κΈ°κ³λ μ ν μν μ€ν λ§νλ³΄λ€ λ κ°λ ₯ν μ₯μΉ
- κΈ°μ΅ λ₯λ ₯μ΄ μμ
- μ»΄ν¨ν°κ° ν μ μλ μΌμ νλ§ κΈ°κ³λ‘ λͺ¨λ ν μ μμ
FSM vs. TM μ°¨μ΄μ
νλ§ κΈ°κ³ | μ ν μν κΈ°κ³ |
μ ν μν κΈ°κ³ | μ λ ₯ μ€νΈλ§ μμ μ¬λ³Όμ κ°±μ ν μ μκ³ μ€μ§ μ½μ μλ§ μλ€. |
left, rightλ‘ μ΄λν μ μλ€. | rightλ‘λ§ μ΄λ ν μ μλ€. |
partial transition function (μνμ μ¬λ³Όκ°μ λͺ¨λ κ°λ₯ν μ‘°ν©μ λν΄ μλ΅ν νμκ° μμ) |
total transition function |
π΅ μ€λμ μ 리
λ μ¨κ° νλ¦¬κ³ μ λ
λΆν° λΆμ¬λΆμ¬ λΉκ°μ€κΈ° μμνλ€μ. λͺμΌμ λΆν° λ₯κΈ° μμνλλ 본격μ μΌλ‘ μ¬λ¦μ΄ μμνλ €λ λ΄
λλ€ γ
γ
μ€λμ λ μ¨λ μμ’μμ μ§μμ 곡λΆλ₯Ό νμ΅λλ€. μκ²©μ¦ λΏλ§ μλλΌ μμ§ λνκ΅λ₯Ό λ€λκ³ μκΈ°λλ¬Έμ νμμ λ³ΈλΆμ λ€νκΈ° μν΄μ κ³Όμ 곡λΆλ₯Ό μ§ννμ΅λλ€. 맀주 μμμΌμ΄λ©΄ κ΅μλκ»μ κ³Όμ λ₯Ό μ¬λ €μ£ΌμκΈ°λ νκ³ , μ΄λ²μ£Ό ν μμΌμ μμ μνκ³Ό κΈ°ν ν μΌλ€μ΄ λ§μμ 미리 κ³Όμ λ₯Ό ν΄λλ νΈμ΄ μ’κ² λ€ νλ¨μ΄λ€μ΄ μ‘°κΈ μΌμ°(?) κ³Όμ λ₯Ό μ§ννμ΅λλ€.
νμ¬ νλ μ λ§μ§λ μμ§λ§ 2νλ μ λ£μ§ λͺ»νλ μ΄μ°μν κ³Όλͺ©μ λ£κ³ μλλ°μ. κ·Έλμ μ€λ 곡λΆν λ΄μ©μ "μ νμν κΈ°κ³"μ λν κ°λ κ³Ό μ¨λ°νλ§μ΄ 1936λ μ λ§λ "νλ§λ¨Έμ "μ λνμ¬ κ³΅λΆλ° κ³Όμ λ₯Ό μ§ννμ΅λλ€.
μ€λμ νΉλ³ν μ μ΄λΌλ©΄, μ΄μ¬ν κ³Όμ λ₯Ό μ§ννλ μμ€μ μ΄λ²μ μ§μν κ΅κ°κ·Όλ‘μΈν΄ λμ μ 체μμ λ©΄μ μ 보λ¬μ€λΌλ λ©μΌμ μμ νλ€λκ²μ λλ€. μΌλ°μ μΌλ‘ μ ν¬ λνκ΅μμλ 1μ°¨ μλ₯μ νμ νκ΅μμ κ·Έ λΆν©μ¬λΆλ₯Ό κ°λ¦¬κ³ μμ΅λλ€. κ·Έλ¦¬κ³ μΆκ°μ μΌλ‘ νμν κΈ°μ μ ννμ¬ 2μ°¨μ μΌλ‘ μλ₯νκ°λ₯Ό κ±°μΉκ³ κ·Έμλν κ²°κ³Όλ₯Ό λ©μΌ νΉμ μ νλ λ©μμ§λ‘ ν΅μ§ν΄μ£Όκ³ μμ΅λλ€. μ κ° μ§μνλ κΈ°μ μμλ 2μ°¨ μλ₯νκ°λ₯Ό μ§ννμκ³ , λ€ννλ μ μ μλ₯λ₯Ό μ’κ² λ΄μ£Όμ μ λ©΄μ μ λ³Ό μ μλ κΈ°νκ° μκ²Όμ΅λλ€. μΌλ¨, μ΄λ²μ£Ό ν μμΌκΉμ§λ κΈ°μ¬νκΈ°μνμ μ§μ€νκΈ°λ‘ νκ³ ! ν μμΌλΆν° μ΄μ¬ν λ©΄μ μ€λΉλ₯Ό ν΄λ΄μΌ κ² μ΅λλ€!