From a9893f45724299e6cc773bbb2fa2cf315fe85206 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 4 Aug 2008 18:26:48 +0000 Subject: ported numerals to GF3 and encoded in UTF8; some problematic ones in todo --- examples/numerals/german.gf | 52 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 examples/numerals/german.gf (limited to 'examples/numerals/german.gf') diff --git a/examples/numerals/german.gf b/examples/numerals/german.gf new file mode 100644 index 000000000..95927126f --- /dev/null +++ b/examples/numerals/german.gf @@ -0,0 +1,52 @@ +concrete german of Numerals = { +-- include numerals.Abs.gf ; + +param DForm = unit | teen | ten ; +param Place = indep | prae | attr ; + +lincat Numeral = {s : Str} ; +oper LinDigit = {s : DForm => Str} ; +lincat Digit = LinDigit ; + +lincat Sub10 = {s : DForm*Place => Str} ; +lincat Sub100 = {s : Place => Str} ; +lincat Sub1000 = {s : Place => Str} ; +lincat Sub1000000 = {s : Str} ; + +oper mkZahl : Str -> Str -> Str -> LinDigit = + \två -> \tolv -> \tjugo -> + {s = table {unit => två ; teen => tolv ; ten => tjugo}} ; +oper regZahl : Str -> LinDigit = + \vier -> mkZahl vier (vier + "zehn") (vier + "zig") ; +oper ss : Str -> {s : Str} = \s -> {s = s} ; + +lin num x = x ; + +lin n2 = mkZahl "zwei" "zwölf" "zwanzig" ; +lin n3 = mkZahl "drei" "dreizehn" "dreissig" ; +lin n4 = regZahl "vier" ; +lin n5 = regZahl "fünf" ; +lin n6 = mkZahl "sechs" "sechzehn" "sechzig" ; +lin n7 = mkZahl "sieben" "siebzehn" "siebzig" ; +lin n8 = regZahl "acht" ; +lin n9 = regZahl "neun" ; + +lin pot01 = {s = table { => "eins" ; => "ein" ; => []}} ; +lin pot0 d = {s = table { => d.s ! f}} ; +lin pot110 = {s = table {p => "zehn"}} ; +lin pot111 = {s = table {p => "elf"}} ; +lin pot1to19 d = {s = table {p => d.s ! teen}} ; +lin pot0as1 n = {s = table {p => n.s ! }} ; +lin pot1 d = {s = table {p => d.s ! ten}} ; +lin pot1plus d e = {s = table {p => e.s ! ++ "und" ++ d.s ! ten}} ; +lin pot1as2 n = {s = table {p => n.s ! p}} ; +lin pot2 d = {s = table {p => d.s ! ++ "hundert"}} ; +lin pot2plus d e = {s = table { + attr => d.s ! ++ "hundert" ++ e.s ! prae ; + _ => d.s ! ++ "hundert" ++ e.s ! indep}} ; +lin pot2as3 n = ss (n.s ! indep) ; +lin pot3 n = ss (n.s ! attr ++ "tausend") ; +lin pot3plus n m = ss (n.s ! attr ++ "tausend" ++ m.s ! prae) ; + + +} -- cgit v1.2.3