2021-05-05 11:07:32 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# IMPORTS
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
|
|
|
from __future__ import annotations;
|
|
|
|
import os;
|
|
|
|
import sys;
|
|
|
|
sys.tracebacklimit = 0;
|
2021-05-05 12:57:17 +02:00
|
|
|
from lark import Tree;
|
|
|
|
from textwrap import dedent;
|
2021-05-05 11:07:32 +02:00
|
|
|
from typing import List;
|
|
|
|
|
|
|
|
sys.path.insert(0, os.getcwd());
|
|
|
|
|
|
|
|
from schema import string_to_parts;
|
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# GLOBAL CONSTANTS
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
|
|
|
# zeichenkette = 'A0';
|
|
|
|
# zeichenkette = '! A0';
|
|
|
|
# zeichenkette = '( A0 && A1 )';
|
|
|
|
# zeichenkette = '( A0 || A1 )';
|
|
|
|
# zeichenkette = '( A0 -> A1 )';
|
|
|
|
zeichenkette = '( A0 -> ((A0 && A3) || ! A2) )';
|
2021-05-06 10:26:10 +02:00
|
|
|
# zeichenkette = '( A0 -> ((A0 && A3) || A2) )';
|
2021-05-05 11:07:32 +02:00
|
|
|
# zeichenkette = '(( {G} || !{G} ) -> A5)';
|
|
|
|
|
|
|
|
I = ['A0', 'A2'];
|
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# HAUPTVORGANG
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
|
|
|
def main():
|
|
|
|
tree = string_to_parts(zeichenkette);
|
2021-05-05 12:57:17 +02:00
|
|
|
print(dedent(
|
|
|
|
'''
|
|
|
|
Syntaxbaum von
|
|
|
|
F := \033[92;1m{F}\033[0m:
|
|
|
|
'''.format(
|
|
|
|
F=zeichenkette,
|
|
|
|
)
|
|
|
|
));
|
2021-05-05 11:07:32 +02:00
|
|
|
print(tree.pretty());
|
2021-05-05 12:57:17 +02:00
|
|
|
print(dedent(
|
|
|
|
'''
|
|
|
|
eval(F, I) = \033[94;1m{eval}\033[0m;
|
2021-05-06 10:26:10 +02:00
|
|
|
\033[2matoms(F) = \033[94;1m{atoms}\033[0m; \033[91;1m<- *\033[0m
|
|
|
|
\033[2mdepth(F) = \033[94;1m{d}\033[0m; \033[91;1m<- *\033[0m
|
|
|
|
\033[2mlength(F) = \033[94;1m{l}\033[0m; \033[91;1m<- *\033[0m
|
|
|
|
\033[2m#parentheses(F) = \033[94;1m{p}\033[0m; \033[91;1m<- *\033[0m
|
2021-05-05 12:57:17 +02:00
|
|
|
|
|
|
|
\033[91;1m*\033[0m \033[2mnoch nicht implementiert!\033[0m
|
|
|
|
\033[1;2;4mChallenge:\033[0m \033[2mschreibe diese Methoden. Probiere mit Stift-und-Zettel die Methoden händisch auszuführen und vergleiche mit dem Code-Output.\033[0m
|
|
|
|
'''.format(
|
|
|
|
eval = rekursiv_eval(tree, I),
|
|
|
|
atoms = rekursiv_atoms(tree),
|
|
|
|
d = rekursiv_depth(tree),
|
|
|
|
l = rekursiv_length(tree),
|
|
|
|
p = rekursiv_parentheses(tree),
|
|
|
|
)
|
|
|
|
));
|
2021-05-05 11:07:32 +02:00
|
|
|
return;
|
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# SEKUNDÄRVORGÄNGE
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
2021-05-05 12:57:17 +02:00
|
|
|
def rekursiv_atoms(fml: Tree) -> List[str]:
|
|
|
|
## Herausforderung: schreibe diese Funktion!
|
|
|
|
return [];
|
|
|
|
|
|
|
|
def rekursiv_depth(fml: Tree) -> int:
|
|
|
|
## Herausforderung: schreibe diese Funktion!
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
def rekursiv_length(fml: Tree) -> int:
|
|
|
|
## Herausforderung: schreibe diese Funktion!
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
def rekursiv_parentheses(fml: Tree) -> int:
|
|
|
|
## Herausforderung: schreibe diese Funktion!
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
def rekursiv_eval(fml: Tree, I: List[str]) -> int:
|
2021-05-06 10:26:10 +02:00
|
|
|
teilfml = getTeilformeln(fml);
|
2021-05-05 12:57:17 +02:00
|
|
|
if fml.data in ['atom', 'beliebig']:
|
2021-05-06 10:26:10 +02:00
|
|
|
name = fml.children[0];
|
|
|
|
return 1 if (name in I) else 0;
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'wahr':
|
2021-05-05 12:57:17 +02:00
|
|
|
return 1;
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'falsch':
|
2021-05-05 12:57:17 +02:00
|
|
|
return 0;
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'negation':
|
2021-05-06 10:26:10 +02:00
|
|
|
val1 = rekursiv_eval(teilfml[0], I);
|
|
|
|
return 1 - val1;
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'konjunktion':
|
2021-05-06 10:26:10 +02:00
|
|
|
val1 = rekursiv_eval(teilfml[0], I);
|
|
|
|
val2 = rekursiv_eval(teilfml[1], I);
|
|
|
|
return min(val1, val2);
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'disjunktion':
|
2021-05-06 10:26:10 +02:00
|
|
|
val1 = rekursiv_eval(teilfml[0], I);
|
|
|
|
val2 = rekursiv_eval(teilfml[1], I);
|
|
|
|
return max(val1, val2);
|
2021-05-05 11:07:32 +02:00
|
|
|
elif fml.data == 'implikation':
|
2021-05-06 10:26:10 +02:00
|
|
|
val1 = rekursiv_eval(teilfml[0], I);
|
|
|
|
val2 = rekursiv_eval(teilfml[1], I);
|
|
|
|
return 0 if val1 == 1 and val2 == 0 else 1;
|
|
|
|
raise Exception('Evaluation nicht möglich!');
|
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# SONSTIGE METHODEN
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
|
|
|
def getTeilformeln(fml: Tree) -> List[Tree]:
|
|
|
|
return [
|
|
|
|
part for part in fml.children
|
|
|
|
if isinstance(part, Tree)
|
|
|
|
and not part.data == 'junktor'
|
|
|
|
];
|
2021-05-05 11:07:32 +02:00
|
|
|
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
# CODE AUSFÜHREN
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
main();
|