Presentation
Gandy-Paun-Rozenberg Machines
Author/s | Obtulowicz, Adam |
Publication Date | 2010 |
Deposit Date | 2016-03-30 |
Published in |
|
ISBN/ISSN | 9788461423576 |
Abstract | Gandy-Paun-Rozenberg machines are introduced as certain graph rewriting
systems. A representation of Gandy-Paun-Rozenberg machines by Gandy machines is
given. A construction of a Gandy-Paun-Rozenberg machine solving 3-SAT ... Gandy-Paun-Rozenberg machines are introduced as certain graph rewriting systems. A representation of Gandy-Paun-Rozenberg machines by Gandy machines is given. A construction of a Gandy-Paun-Rozenberg machine solving 3-SAT problem in a polynomial time is shown. |
Files | Size | Format | View | Description |
---|---|---|---|---|
15obtulo.pdf | 224.2Kb | [PDF] | View/ | |