Πεπερασμένα Αυτόματα (DFA)

Πεπερασμένα Αυτόματα (DFA)

Τα Πεπερασμένα Αυτόματα (Deterministic Finite Automata - DFA) αποτελούν θεμελιώδη έννοια της Θεωρίας Υπολογισμού και χρησιμοποιούνται για την αναγνώριση γλωσσών. Με απλά λόγια, ένα DFA είναι ένα μαθηματικό μοντέλο που…
Τα θεωρητικά μοντέλα υπολογισμού και τα όρια του εφικτού

Τα θεωρητικά μοντέλα υπολογισμού και τα όρια του εφικτού

Όταν ανοίγουμε το κινητό μας, ψάχνουμε στο Google ή αγοράζουμε online, σπάνια σκεφτόμαστε ότι πίσω από όλα αυτά βρίσκονται θεωρητικά μοντέλα υπολογισμού που σχεδιάστηκαν πριν δεκαετίες. Μηχανές που δεν υπήρξαν…
Η Μηχανή Turing το Θεμελιώδες Μοντέλο της Πληροφορικής

Η Μηχανή Turing το Θεμελιώδες Μοντέλο της Πληροφορικής

Σήμερα όλοι μιλάμε για υπολογιστές, τεχνητή νοημοσύνη και εφαρμογές. Όμως, λίγοι γνωρίζουν ότι η βάση της Πληροφορικής δεν ξεκίνησε από ένα μηχάνημα, αλλά από μια ιδέα. Αυτή η ιδέα ανήκει…
Δυναμικός Προγραμματισμός

Δυναμικός Προγραμματισμός

Mέρος 2ο: Κατανόηση χρησιμότητας Δυναμικού προγραμματισμού Ο Δυναμικός Προγραμματισμός (Dynamic Programming) είναι μια υπολογιστική μέθοδος που χρησιμοποιείται για την επίλυση προβλημάτων που μπορούν να αναλυθούν σε υποπροβλήματα. Αντί να επαναλαμβάνει…
Πολυπλοκότητα Αλγορίθμων

Πολυπλοκότητα Αλγορίθμων

Η πολυπλοκότητα αλγορίθμων, ή αλλιώς η χρονική πολυπλοκότητα (time complexity), μετρά το πόσο αυξάνεται ο χρόνος εκτέλεσης ενός αλγορίθμου καθώς αυξάνεται το μέγεθος της εισόδου. Συνήθως εκφράζεται χρησιμοποιώντας τον συμβολισμό…