Στο πλαίσιο της διοργάνωσης των σεμιναρίων του τμήματος θα πραγματοποιηθεί την Παρασκευή 4/4/2025 και ώρα 13:00, ομιλία με τίτλο «Automata Theory, Languages and Computation – DNA Computing Paradigm» στην αίθουσα Σεμιναρίων του ΤΜΗΥΠ. Ομιλητής θα είναι ο  κ. Sebastian Sakowski, Αssistant professor, Faculty of Mathematics and Computer Science, University of Lodz, Poland.

ΠΕΡΙΛΗΨΗ

The first part of the lectures will discuss the classical theory of automata and formal languages. The second part of the course will present new computing paradigms, DNA computing and molecular programming. Major challenges in DNA computing are constructions of models according to the Chomsky hierarchy, e.g. Turing machines, pushdown automata, and finite automata. In the lecture, the current state of the art and new trends in the DNA computing paradigm will be presented. The main problem for developing a biomolecular computer is its complexity – increasing the number of a states and symbols of biomolecular computer. This course presents ideas and concepts to increase the complexity of calculations performed by biomolecular computers.

Content:

• Introduction to automata theory, languages, and computation.
• Formal definition of finite automata and its biomolecular implementation.
• Current state of the art in the DNA computing.
• Theoretical models of DNA computation.
• Generating symbols for biomolecular computers.