|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
state_space.ML
Sprache: SML
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F537461746573706163652F73
746174655F73706163652E4D4C0A2020
2020417574686F723A20202020204E6F
72626572742053636869726D65722C20
5455204D75656E6368656E0A2A290A0A
7369676E61747572652053544154455F
5350414345203D0A7369670A20207661
6C2064697374696E63745F636F6D7073
4E203A20737472696E670A202076616C
206765744E203A20737472696E670A20
2076616C207075744E203A2073747269
6E670A202076616C20696E6A6563744E
203A20737472696E670A202076616C20
6E616D6573706163654E203A20737472
696E670A202076616C2070726F6A6563
744E203A20737472696E670A20207661
6C2076616C756574797065734E203A20
737472696E670A0A202076616C206E61
6D6573706163655F646566696E697469
6F6E203A0A202020202062737472696E
67202D3E0A2020202020747970202D3E
0A20202020202878737472696E672C20
737472696E6729204578707265737369
6F6E2E65787072202A202862696E6469
6E67202A20737472696E67206F707469
6F6E202A206D697866697829206C6973
74202D3E0A2020202020737472696E67
206C697374202D3E20737472696E6720
6C697374202D3E207468656F7279202D
3E207468656F72790A0A202076616C20
646566696E655F737461746573706163
65203A0A2020202020737472696E6720
6C697374202D3E0A2020202020737472
696E67202D3E0A202020202028287374
72696E67202A20626F6F6C29202A2028
737472696E67206C697374202A206273
7472696E67202A2028737472696E6720
2A20737472696E6729206C6973742929
206C697374202D3E0A20202020202873
7472696E67202A20737472696E672920
6C697374202D3E207468656F7279202D
3E207468656F72790A202076616C2064
6566696E655F73746174657370616365
5F69203A0A2020202020737472696E67
206F7074696F6E202D3E0A2020202020
737472696E67206C697374202D3E0A20
20202020737472696E67202D3E0A2020
2020202828737472696E67202A20626F
6F6C29202A2028747970206C69737420
2A2062737472696E67202A2028737472
696E67202A20737472696E6729206C69
73742929206C697374202D3E0A202020
202028737472696E67202A2074797029
206C697374202D3E207468656F727920
2D3E207468656F72790A0A202076616C
20737461746573706163655F6465636C
203A0A20202020202828737472696E67
206C697374202A2062737472696E6729
202A0A20202020202020282828737472
696E67202A20626F6F6C29202A202873
7472696E67206C697374202A20787374
72696E67202A202862737472696E6720
2A2062737472696E6729206C69737429
29206C697374202A0A20202020202020
202862737472696E67202A2073747269
6E6729206C6973742929207061727365
720A0A0A202076616C206E65715F785F
79203A2050726F6F662E636F6E746578
74202D3E207465726D202D3E20746572
6D202D3E2074686D206F7074696F6E0A
202076616C2064697374696E63744E61
6D65536F6C766572203A2053696D706C
69666965722E736F6C7665720A202076
616C2064697374696E6374547265655F
746163203A2050726F6F662E636F6E74
657874202D3E20696E74202D3E207461
637469630A202076616C206469737469
6E63745F73696D70726F63203A205369
6D706C69666965722E73696D70726F63
0A0A0A202076616C206765745F636F6D
70203A20436F6E746578742E67656E65
726963202D3E20737472696E67202D3E
2028747970202A20737472696E672920
6F7074696F6E0A202076616C20676574
5F73696C656E74203A20436F6E746578
742E67656E65726963202D3E20626F6F
6C0A202076616C207365745F73696C65
6E74203A20626F6F6C202D3E20436F6E
746578742E67656E65726963202D3E20
436F6E746578742E67656E657269630A
0A202076616C2067656E5F6C6F6F6B75
705F7472203A2050726F6F662E636F6E
74657874202D3E207465726D202D3E20
737472696E67202D3E207465726D0A20
2076616C206C6F6F6B75705F73776170
5F7472203A2050726F6F662E636F6E74
657874202D3E207465726D206C697374
202D3E207465726D0A202076616C206C
6F6F6B75705F7472203A2050726F6F66
2E636F6E74657874202D3E207465726D
206C697374202D3E207465726D0A2020
76616C206C6F6F6B75705F747227203A
2050726F6F662E636F6E74657874202D
3E207465726D206C697374202D3E2074
65726D0A0A202076616C2067656E5F75
70646174655F7472203A0A2020202020
626F6F6C202D3E2050726F6F662E636F
6E74657874202D3E20737472696E6720
2D3E207465726D202D3E207465726D20
2D3E207465726D0A202076616C207570
646174655F7472203A2050726F6F662E
636F6E74657874202D3E207465726D20
6C697374202D3E207465726D0A202076
616C207570646174655F747227203A20
50726F6F662E636F6E74657874202D3E
207465726D206C697374202D3E207465
726D0A656E643B0A0A73747275637475
72652053746174655370616365203A20
53544154455F5350414345203D0A7374
727563740A0A282A204E616D6573202A
290A0A76616C2064697374696E63745F
636F6D70734E203D202264697374696E
63745F6E616D6573220A76616C206E61
6D6573706163654E203D20225F6E616D
657370616365220A76616C2076616C75
6574797065734E203D20225F76616C75
657479706573220A76616C2070726F6A
6563744E203D202270726F6A65637422
0A76616C20696E6A6563744E203D2022
696E6A656374220A76616C206765744E
203D2022676574220A76616C20707574
4E203D2022707574220A76616C207072
6F6A6563745F696E6A6563744C203D20
22537461746553706163654C6F63616C
652E70726F6A6563745F696E6A656374
223B0A0A0A282A204C69627261727920
2A290A0A66756E20666F6C6431206620
7873203D20666F6C6420662028746C20
78732920286864207873290A66756E20
666F6C6431272066205B5D2078203D20
780A20207C20666F6C64312720662078
73205F203D20666F6C64312066207873
0A0A66756E20736F727465645F737562
736574206571205B5D207973203D2074
7275650A20207C20736F727465645F73
75627365742065712028783A3A787329
205B5D203D2066616C73650A20207C20
736F727465645F737562736574206571
2028783A3A7873292028793A3A797329
203D2069662065712028782C79292074
68656E20736F727465645F7375627365
742065712078732079730A2020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020656C736520736F727465645F7375
627365742065712028783A3A78732920
79733B0A0A0A0A74797065206E616D65
73706163655F696E666F203D0A207B64
65636C696E666F3A20287479702A7374
72696E6729205465726D7461622E7461
626C652C20282A20747970652C206E61
6D65206F662073746174657370616365
202A290A202064697374696E63747468
6D3A2074686D2053796D7461622E7461
626C652C0A202073696C656E743A2062
6F6F6C0A207D3B0A0A73747275637475
7265204E616D65537061636544617461
203D2047656E657269635F446174610A
280A2020747970652054203D206E616D
6573706163655F696E666F3B0A202076
616C20656D707479203D207B6465636C
696E666F203D205465726D7461622E65
6D7074792C2064697374696E63747468
6D203D2053796D7461622E656D707479
2C2073696C656E74203D2066616C7365
7D3B0A202076616C20657874656E6420
3D20493B0A202066756E206D65726765
0A20202020287B6465636C696E666F3D
6465636C696E666F312C206469737469
6E637474686D3D64697374696E637474
686D312C2073696C656E743D73696C65
6E74317D2C0A2020202020207B646563
6C696E666F3D6465636C696E666F322C
2064697374696E637474686D3D646973
74696E637474686D322C2073696C656E
743D73696C656E74327D29203A205420
3D0A202020207B6465636C696E666F20
3D205465726D7461622E6D6572676520
284B20747275652920286465636C696E
666F312C206465636C696E666F32292C
0A202020202064697374696E63747468
6D203D2053796D7461622E6D65726765
20284B20747275652920286469737469
6E637474686D312C2064697374696E63
7474686D32292C0A202020202073696C
656E74203D2073696C656E743120616E
64616C736F2073696C656E743220282A
204649584D45206F6464206D65726765
202A297D0A293B0A0A66756E206D616B
655F6E616D6573706163655F64617461
206465636C696E666F2064697374696E
637474686D2073696C656E74203D0A20
202020207B6465636C696E666F3D6465
636C696E666F2C64697374696E637474
686D3D64697374696E637474686D2C73
696C656E743D73696C656E747D3B0A0A
0A66756E207570646174655F6465636C
696E666F20286E2C7629206374787420
3D0A20206C65742076616C207B646563
6C696E666F2C64697374696E63747468
6D2C73696C656E747D203D204E616D65
5370616365446174612E676574206374
78743B0A2020696E204E616D65537061
6365446174612E7075740A2020202020
20286D616B655F6E616D657370616365
5F6461746120285465726D7461622E75
706461746520286E2C7629206465636C
696E666F292064697374696E63747468
6D2073696C656E742920637478740A20
20656E643B0A0A66756E207365745F73
696C656E742073696C656E7420637478
74203D0A20206C65742076616C207B64
65636C696E666F2C64697374696E6374
74686D2C2E2E2E7D203D204E616D6553
70616365446174612E67657420637478
743B0A2020696E204E616D6553706163
65446174612E7075740A202020202020
286D616B655F6E616D6573706163655F
64617461206465636C696E666F206469
7374696E637474686D2073696C656E74
2920637478740A2020656E643B0A0A76
616C206765745F73696C656E74203D20
2373696C656E74206F204E616D655370
616365446174612E6765743B0A0A6675
6E2065787072657373696F6E5F6E6F5F
706F732028657870722C206669786573
29203A2045787072657373696F6E2E65
787072657373696F6E203D0A2020286D
61702028666E20286E616D652C20696E
737429203D3E2028286E616D652C2050
6F736974696F6E2E6E6F6E65292C2069
6E7374292920657870722C2066697865
73293B0A0A66756E2070726F76655F69
6E746572707265746174696F6E5F696E
20637478745F74616320286E616D652C
20657870722920746879203D0A202020
7468790A2020207C3E20496E74657270
7265746174696F6E2E676C6F62616C5F
7375626C6F63616C655F636D6420286E
616D652C20506F736974696F6E2E6E6F
6E6529202865787072657373696F6E5F
6E6F5F706F73206578707229205B5D0A
2020207C3E2050726F6F662E676C6F62
616C5F7465726D696E616C5F70726F6F
660A20202020202020202028284D6574
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
