From 500d545b701d5dfa5747952602432b383003e616 Mon Sep 17 00:00:00 2001 From: Tomas Pecka <peckato1@fit.cvut.cz> Date: Fri, 10 May 2019 17:14:11 +0200 Subject: [PATCH] examples: RTE for lisp lists --- examples2/rte/rte_lisp.xml | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 examples2/rte/rte_lisp.xml diff --git a/examples2/rte/rte_lisp.xml b/examples2/rte/rte_lisp.xml new file mode 100644 index 0000000000..4358f695f8 --- /dev/null +++ b/examples2/rte/rte_lisp.xml @@ -0,0 +1,36 @@ +<?xml version="1.0"?> +<FormalRTE> + <alphabet> + <RankedSymbol> <String>cons</String> <UnsignedLong>2</UnsignedLong> </RankedSymbol> + <RankedSymbol> <String>int</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + <RankedSymbol> <String>nil</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + </alphabet> + + <substSymbolAlphabet> + <RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + <RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + </substSymbolAlphabet> + + <substitution> + <RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + + <substitution> + <RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + + <iteration> + <RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> + + <symbol> + <RankedSymbol> <String>cons</String> <UnsignedLong>2</UnsignedLong> </RankedSymbol> + + <substSymbol> <RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> </substSymbol> + <substSymbol> <RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> </substSymbol> + </symbol> + </iteration> + + <symbol><RankedSymbol> <String>nil</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol></symbol> + </substitution> + + <symbol><RankedSymbol> <String>int</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol></symbol> + </substitution> +</FormalRTE> -- GitLab