diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
commit | de7b441fe4ebd88fc19abbd6542cb8129f735ced (patch) | |
tree | 9c409cc281e5a095e468f20d9a33b1acad3ed5e7 /prolog/problems/denotational_semantics/prog_listswap_3/sl.py | |
parent | 52a65d75cd7adc7983d4e6c45709b7571497ca9a (diff) |
Denotational semantics, part #1: tests and translations added.
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_listswap_3/sl.py')
-rw-r--r-- | prolog/problems/denotational_semantics/prog_listswap_3/sl.py | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/sl.py b/prolog/problems/denotational_semantics/prog_listswap_3/sl.py new file mode 100644 index 0000000..4d009a7 --- /dev/null +++ b/prolog/problems/denotational_semantics/prog_listswap_3/sl.py @@ -0,0 +1,37 @@ +name = 'prog_listswap/3' +slug = 'jezik za rokovanje s seznami s pomenom' + +description = '''\ +<p> +Napiši DCG za rokovanje s seznami. Prvi simbol vsake besede je <code>[begin]</code>, temu pa sledi +poljubno zaporedje "ukazov" iz nabora {<code>left</code>, <code>right</code>, <code>swap</code>}, +na koncu pa je simbol <code>[end]</code>. Začetni nekončni simbol naj se imenuje <code>prog_listswap</code>. +</p> + +<p> +Pomen besede (programa) v tem jeziku ima obliko <code>In-->Out</code> in pomeni preslikavo +med vhodnim seznamom <code>In</code> in izhodnim seznamom <code>Out</code>. Notranje stanje +gramatike, hranjeno v argumentih nekončnih simbolov, poleg trenutnega stanja seznama vodi tudi +pozicijo kurzorja s katerim rokujemo s seznamom. Ukaza <code>left</code> in <code>right</code> +kurzor premakneta za eno mesto v ustrezno smer, ukaz <code>swap</code> pa zamenja mesti elementov +med katerima stoji kurzor. Če je kurzor na začetku seznama, ukaz <code>swap</code> ne uspe. +</p> + +<pre> +?- prog_listswap([1,2,3,4]-->Out, [begin,right,swap,end], []). + Out = [2,1,3,4]. +</pre> + +<p> +Pomožni predikat (že definiran): +</p> +<ul> +<li><code>swap(List,I,NewList)</code> ustvari nov seznam <code>NewList</code> tako, da +zamenja mesti <code>I</code>-tega elementa in njegovega levega soseda v seznamu +<code>List</code></li> +</ul> + +<p>Ta naloga je že rešena. Preveri kako deluje v konzoli.</p> +''' + +hint = {} |