HaLeX-1.1: example/real_ndfa.hs

import Ndfa
ndfa = Ndfa v q s z delta
  where 
	 v = "+-0123456789."
	 q = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132]
	 s = [1]
	 z = [132]
	 -- delta :: st -> sy -> st 
	 delta 3 (Just '+') = [4]
	 delta 5 (Just '-') = [6]
	 delta 12 (Just '0') = [13]
	 delta 15 (Just '1') = [16]
	 delta 18 (Just '2') = [19]
	 delta 21 (Just '3') = [22]
	 delta 24 (Just '4') = [25]
	 delta 27 (Just '5') = [28]
	 delta 30 (Just '6') = [31]
	 delta 33 (Just '7') = [34]
	 delta 36 (Just '8') = [37]
	 delta 38 (Just '9') = [39]
	 delta 51 (Just '.') = [52]
	 delta 56 (Just '0') = [57]
	 delta 59 (Just '1') = [60]
	 delta 62 (Just '2') = [63]
	 delta 65 (Just '3') = [66]
	 delta 68 (Just '4') = [69]
	 delta 71 (Just '5') = [72]
	 delta 74 (Just '6') = [75]
	 delta 77 (Just '7') = [78]
	 delta 80 (Just '8') = [81]
	 delta 82 (Just '9') = [83]
	 delta 95 (Just '0') = [96]
	 delta 98 (Just '1') = [99]
	 delta 101 (Just '2') = [102]
	 delta 104 (Just '3') = [105]
	 delta 107 (Just '4') = [108]
	 delta 110 (Just '5') = [111]
	 delta 113 (Just '6') = [114]
	 delta 116 (Just '7') = [117]
	 delta 119 (Just '8') = [120]
	 delta 121 (Just '9') = [122]
	 delta 1 (Nothing) = [2,8]
	 delta 2 (Nothing) = [3,5]
	 delta 4 (Nothing) = [7]
	 delta 6 (Nothing) = [7]
	 delta 7 (Nothing) = [9]
	 delta 8 (Nothing) = [9]
	 delta 9 (Nothing) = [10]
	 delta 10 (Nothing) = [11,49]
	 delta 11 (Nothing) = [12,14]
	 delta 13 (Nothing) = [48]
	 delta 14 (Nothing) = [15,17]
	 delta 16 (Nothing) = [47]
	 delta 17 (Nothing) = [18,20]
	 delta 19 (Nothing) = [46]
	 delta 20 (Nothing) = [21,23]
	 delta 22 (Nothing) = [45]
	 delta 23 (Nothing) = [24,26]
	 delta 25 (Nothing) = [44]
	 delta 26 (Nothing) = [27,29]
	 delta 28 (Nothing) = [43]
	 delta 29 (Nothing) = [30,32]
	 delta 31 (Nothing) = [42]
	 delta 32 (Nothing) = [33,35]
	 delta 34 (Nothing) = [41]
	 delta 35 (Nothing) = [36,38]
	 delta 37 (Nothing) = [40]
	 delta 39 (Nothing) = [40]
	 delta 40 (Nothing) = [41]
	 delta 41 (Nothing) = [42]
	 delta 42 (Nothing) = [43]
	 delta 43 (Nothing) = [44]
	 delta 44 (Nothing) = [45]
	 delta 45 (Nothing) = [46]
	 delta 46 (Nothing) = [47]
	 delta 47 (Nothing) = [48]
	 delta 48 (Nothing) = [11,49]
	 delta 49 (Nothing) = [50]
	 delta 50 (Nothing) = [51,53]
	 delta 52 (Nothing) = [54]
	 delta 53 (Nothing) = [54]
	 delta 54 (Nothing) = [55]
	 delta 55 (Nothing) = [56,58]
	 delta 57 (Nothing) = [92]
	 delta 58 (Nothing) = [59,61]
	 delta 60 (Nothing) = [91]
	 delta 61 (Nothing) = [62,64]
	 delta 63 (Nothing) = [90]
	 delta 64 (Nothing) = [65,67]
	 delta 66 (Nothing) = [89]
	 delta 67 (Nothing) = [68,70]
	 delta 69 (Nothing) = [88]
	 delta 70 (Nothing) = [71,73]
	 delta 72 (Nothing) = [87]
	 delta 73 (Nothing) = [74,76]
	 delta 75 (Nothing) = [86]
	 delta 76 (Nothing) = [77,79]
	 delta 78 (Nothing) = [85]
	 delta 79 (Nothing) = [80,82]
	 delta 81 (Nothing) = [84]
	 delta 83 (Nothing) = [84]
	 delta 84 (Nothing) = [85]
	 delta 85 (Nothing) = [86]
	 delta 86 (Nothing) = [87]
	 delta 87 (Nothing) = [88]
	 delta 88 (Nothing) = [89]
	 delta 89 (Nothing) = [90]
	 delta 90 (Nothing) = [91]
	 delta 91 (Nothing) = [92]
	 delta 92 (Nothing) = [93]
	 delta 93 (Nothing) = [94,132]
	 delta 94 (Nothing) = [95,97]
	 delta 96 (Nothing) = [131]
	 delta 97 (Nothing) = [98,100]
	 delta 99 (Nothing) = [130]
	 delta 100 (Nothing) = [101,103]
	 delta 102 (Nothing) = [129]
	 delta 103 (Nothing) = [104,106]
	 delta 105 (Nothing) = [128]
	 delta 106 (Nothing) = [107,109]
	 delta 108 (Nothing) = [127]
	 delta 109 (Nothing) = [110,112]
	 delta 111 (Nothing) = [126]
	 delta 112 (Nothing) = [113,115]
	 delta 114 (Nothing) = [125]
	 delta 115 (Nothing) = [116,118]
	 delta 117 (Nothing) = [124]
	 delta 118 (Nothing) = [119,121]
	 delta 120 (Nothing) = [123]
	 delta 122 (Nothing) = [123]
	 delta 123 (Nothing) = [124]
	 delta 124 (Nothing) = [125]
	 delta 125 (Nothing) = [126]
	 delta 126 (Nothing) = [127]
	 delta 127 (Nothing) = [128]
	 delta 128 (Nothing) = [129]
	 delta 129 (Nothing) = [130]
	 delta 130 (Nothing) = [131]
	 delta 131 (Nothing) = [94,132]

	 delta _ _ = []