|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/automatatheory/
课程评论：没有评论
本课程涵盖形式语言与自动机理论，旨在帮助学习者掌握该领域的核心概念，以便顺利通过大学相关课程。《形式语言与自动机理论》是理论计算机科学的一个基础分支。 课程将深入探讨自动机的定义及其在解决计算问题中的应用。自动机被定义为一个五元组：⟨Q, ∑, δ, q0, F⟩，其中： * Q 是有限状态的集合。 * ∑ 是有限符号的集合。 * δ 是转移函数，定义为 δ: Q × ∑ → Q。 * q0 是起始状态 (q0 ∈ Q)。 * F 是终止状态的集合 (F ⊆ Q)。 自动机理论研究这些抽象的“自动机”（源自希腊语“αυτόματα”，意为“自主运动”），以及如何利用它们来解决计算问题。自动机在编译器设计、解析和计算理论中扮演着关键角色。 形式语言由基于字母表（Σ）的字符串构成。本课程将介绍用于定义形式语言的方法，包括表达式、文法以及接受特定语言字符串的自动机。 课程将重点介绍以下自动机类型： * 确定性有限自动机 (DFA) * 非确定性有限自动机 (NFA) * 带 ε-迁移的非确定性有限自动机 * 下推自动机 (PDA) * 线性有界自动机 (LBA) * 图灵机 * 时序自动机 (Timed Automata) * 确定性/非确定性 Buchi 自动机 * 确定性/非确定性 Rabin 自动机 * 确定性/非确定性 Streett 自动机 * 确定性/非确定性奇偶自动机 * 确定性/非确定性 Muller 自动机
Bu kursta Üniversitelerin "Biçimsel Diller Ve Otomata Teorisi" dersinden geçebilir hale geleceksiniz.Bir otomat 5 elemanlı bir demet ile tanımlanır ⟨Q,∑,δ,q0,F⟩:Q sonlu durumların kümesi∑ sonlu simgelerin kümesiδ transition fonksiyonudur: δ: Q × ∑ → Qq0, başlangıç durumu (q0 ∈ Q koşuluyla)F, Q'nun durumlarıdır (F ⊆ Q)Otomat teorisi ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir. Biçimsel dil kuramı ile yakından ilgilidir. Özdevinirler derleyici tasarımı ve ayrıştırmasında önemli rol oynar.Otomatlar hesaplama teorisi, derleyici tasarımı ve çözümlemede önemli bir rol oynamaktadır.Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, abece denilen belli bir küme Σ üzerinde kurulan dizilerden oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler ya da tanımlanan dile ait olan dizileri kabul eden otomatlar kullanılır.Özdevinim sınıflarıDeterministik sonlu özdevinim (Deterministic finite automata)Deterministik olmayan sonlu özdevinim (Nondeterministic finite automata)Deterministik olmayan sonlu özdevinim ε-geçişli (Nondeterministic finite automata with ε-transitionsYığıtlı özdevinim (Pushdown automata)Doğrusal sınırlı özdevinim (Linear bounded automata)Turing makinesiSüreli özdevinim (Timed automata)Deterministik Büchi özdevinim (Deterministic Büchi automata)Deterministik olmayan Büchi özdevinim (Nondeterministic Büchi automata)Deterministik/Deterministik olmayan Rabin özdevinim (Nondeterministic / Deterministic Rabin automata)Deterministik/Deterministik olmayan Streett özdevinim (Nondeterministic /Deterministic Streett automata)Deterministik/Deterministik olmayan perite özdevinim (Nondeterministic/ Deterministic parity automata)Deterministik/Deterministik olmayan Muller özdevinim (Nondeterministic / Deterministic Muller automata)
