آموزش نظریه محاسبات و اتوماتا - قسمت 1 - آخرین آپدیت

سرفصل ها و درس ها

طرح کلی دوره Course Outline

• طرح کلی دوره Outline of the Course

معرفی دوره Introduction to the course

• مقدمه Introduction

تعاریف اساسی Basic Definitions

• درک مفاهیم و تعاریف اساسی Understanding the Basic Concepts and Definitions

ماشینهای حالت محدود Finite State Machines

• مقدمه ای بر FSM و یک مشکل اساسی Introduction to FSM and a basic Problem

ماشینهای حالت محدود - تست کننده تقسیم پذیری Finite State Machines - Divisibility Tester

• قابل تقسیم عدد اعشاری بر 4 Divisibility of a decimal number by 4

• قابل تقسیم یک عدد دودویی بر 4 Divisibility of a Binary Number by 4

• قابل تقسیم یک عدد سه تایی بر 4 Divisibility of a ternary Number by 4

ماشینهای حالت محدود - عملیات رشته ای Finite State Machines - String Operations

• FSM برای پذیرش ورودی های خاتمه یافته با 110 FSM to accept inputs ending with 110

• FSM برای پذیرش ورودی هایی که با babb ختم می شوند FSM to accept inputs ending with babb

• FSM برای پذیرش ورودی های 1011 FSM to accept inputs containing 1011

• FSM ورودی های حاوی تعداد ODD یک را قبول می کند FSM to accept inputs containing ODD number of a's

• FSM ورودی هایی را قبول می کند که شامل 3 رخداد متوالی b نیست FSM to accept inputs which doesn't contain 3 consecutive occurrence of b

Adder دودویی Binary Adder

• FSM برای پیاده سازی Binary Adder FSM to implement a Binary Adder

محدود اتومات Finite Automata

• مقدمه ای بر Deterministic Finite Automata (DFA) Introduction to Deterministic Finite Automata (DFA)

• FA با خروجی - ماشین های مور FA with Outputs - Moore Machines

• FA با خروجی - Mealy Machines FA with Outputs - Mealy Machines

مقدمه ای بر عبارات منظم Introduction to Regular Expressions

• مقدمه ای بر RE Introduction to RE