Fachbereich Informatik an der RPTU in Kaiserslautern

Lia Schütze

(Models of Computation, MPI-SWS)
hosted by PhD Program in CS @ TU KL

"Run Embeddings and Pumping Schemes"

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

In the theory of computation, we are faced with an ever-increasing number of computational models and an equally-increasing number of problems we would like answered for these models. We therefore turn towards abstractions which generalize more concrete models. In this, we hope to find algorithms that are immediately applicable to a broad range of models. In this talk, we present an abstraction called Embedding Systems. These allow us to formulate algorithms for checking properties of the language of a system. We will investigate which models can be generalized to Embedding System and which problems can be solved this way.


Time: Monday, 18.07.2022, 16:00
Place: https://uni-kl-de.zoom.us/j/66282168729?pwd=ckI1TDc0dU5WRVhIRG5ON3AzRm9Pdz09

Termin als iCAL Datei downloaden und in den Kalender importieren.