Abstrakt: | V práci skúmame abstraktný výpočtový model, bezdrôtový paralelný Turingov stroj, ktorý je inšpirovaný bezdrôtovou komunikáciou v mobilných sieťach. Ten umožňuje procesom počas výpočtu vetviť sa na nové procesy, ktoré môžu následne paralelne pracovať. Každý proces má aj špeciálnu kanálovú pásku, ktorej obsah určuje číslo kanála, na ktorý je proces naladený. Procesy naladené na rovnaký kanál spolu vedia komunikovať. Zameriame sa na variant modelu používajúci na komunikáciu zásobník namiesto kanálovej pásky. Ukážeme simuláciu iného paralelného výpočtového modelu, ktorým je alternujúci Turingov stroj, pomocou nášho modelu. Neskôr porovnáme komunikáciu pomocou zásobníka s komunikáciou pomocou počítadla.
|
---|