Κεφάλαιο 7Adobe PDF (326.62 kB)
Title Details:
Πεπερασμένα Αυτόματα και Κανονικές Παραστάσεις
Authors: Zachos, Efstathios
Pagourtzis, Aristeidis
Souliou, Theodora
Reviewer: Zissimopoulos, Vassilis
Subject: MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > COMPUTATIONAL SCIENCE
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INFORMATION ASSURANCE AND SECURITY > CRYPTOGRAPHY
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > ALGORITHMS AND COMPLEXITY
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > ALGORITHMS AND COMPLEXITY > FUNDAMENTAL DATA STRUCTURES AND ALGORITHMS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > ALGORITHMS AND COMPLEXITY
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > DISCRETE STRUCTURES
MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > NUMERICAL ANALYSIS > NUMERICAL APPROXIMATION AND COMPUTATIONAL GEOMETRY
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > SOFTWARE DEVELOPMENT FUNDAMENTALS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INFORMATION MANAGEMENT > DATABASE SYSTEMS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > GRAPHICS AND VISUALIZATION
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > ARCHITECTURE AND ORGANIZATION > DIGITAL LOGIC AND DIGITAL SYSTEMS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INFORMATION MANAGEMENT > DATA MINING
Keywords:
Algorithms
Search Algorithms
Sorting Algorithms
Algorithmic Composition
Graphs
Graph Algorithms
Graph Theory
String Algorithms
Computability
Computational Complexity
Data Structures
Automata
Formal Languages
Grammars
Parallel Algorithms
Distributed Algorithms
Knowledge Representation And Reasoning
Logic And Circuits
Logic
Logic For Computer Science
Description:
Abstract:
Μηχανές με πεπερασμένο πλήθος καταστάσεων, συνάρτηση μετάβασης. Ν
Ντετερμινιστικά και μη ντεντερμινιστικά πεπερασμένα αυτόματα (DFA, NFA).
Θεώρημα Rabin-Scott: ισοδυναμία NFA και DFA. Ελαχιστοποίηση αυτομάτων.
Γινόμενο αυτομάτων. Κανονικές παραστάσεις και ισοδυναμία με πεπερασμένα αυτόματα.
Λήμμα επανάληψης (Pumping Lemma).
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-sa/3.0/gr
Handle http://hdl.handle.net/11419/5458
Bibliographic Reference: Zachos, E., Pagourtzis, A., & Souliou, T. (2015). Πεπερασμένα Αυτόματα και Κανονικές Παραστάσεις [Chapter]. In Zachos, E., Pagourtzis, A., & Souliou, T. 2015. Θεμελίωση επιστήμης υπολογιστών [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/5458
Language: Greek
Is Part of: Θεμελίωση επιστήμης υπολογιστών
Publication Origin: Kallipos, Open Academic Editions