Description
| - The presented project integrates various computational models into systems that allow us to study and simulate modern information technologies in an optimal way. In particular, these systems are used to discuss computational cooperation, distribution, concurrence, and parallelism. Most of the systems under discussion will be based on an integration of formal models intensively studied in the theory of formal languages and computation, such as various sequential and parallel grammars and automata. As its principle objective, this project intends to develop and study systems that allow us to simulate and, thereby, examine modern information technologies in an elegant, general, natural, flexible, economical and realizable way. Making use of these advantages, this project will also examine the applications of the resulting systems in terms of several information technologies, including the technologies used in mathematical linguistics, business-oriented applications, and developmental biology. (en)
- Moderní informační technologie využívající vzájemně propojených multiprocesorových počítačů dnešní informatiky vyžadují vhodnou integraci formálních modelů, na kterých jsou principielně založeny a které je tudíž umožňují simulovat a zkoumat. Distribuce, kooperace a paralelismus představují fundamentální rysy a principy těchto technologií a optimální integrace jejich modelu má tudíž zcela zásadní význam. Předkládaný projekt diskutuje systémy integrovaných modelů, které umožňují popsat a studovat výše zmíněné technologie optimálním způsobem. Hlavní pozornost je věnovaná systémům založených na integraci gramatik a automatů. Fundamentálním cílem je získat systémy, které simulují informační technologie elegantním, obecným, přirozeným, flexibilním, úsporným a realizovatelným způsobem. Využívaje těchto předností, projekt bude zkoumat aplikace výsledných systémů v celé řadě současných informačních technologií se zaměřením na technologie používané v matematické lingvistice, ekonomii a mikrobiologii.
|