Aspekte der morphologischen Analyse des Deutschen - Universität ...

Anhang C: Programmcode
/*********************************************************************************************************************************
non_failure_state(State,Letter,NonFailState)
NonFailState = State if there is transition from State with Letter
*********************************************************************************************************************************/
non_failure_state(State,Letter,State) :-
transition(State,Letter,NewState),
NewState \== fail,
!.
non_failure_state(State0,Letter,State) :-
transition(State0,Letter,fail), % no transition
f(State0,State1), % failure function
non_failure_state(State1,Letter,State).
/*********************************************************************************************************************************
transition(State1,Char,State2):
State2 is the state which is reachable from State1 with Char.
if there isn't a transition then State2 = fail
*********************************************************************************************************************************/
transition(State1,AlphabetSymbol,fail) :-
\+ tr(State1,AlphabetSymbol,_),
!.
transition(State1,AlphabetSymbol,State2) :-
tr(State1,AlphabetSymbol,State2).
add_transition(State1,AlphabetSymbol,State2) :-
assert(tr(State1,AlphabetSymbol,State2)).
/*********************************************************************************************************************************
add_output(State:,Word:,Lemma:):
*********************************************************************************************************************************/
add_output(State,Word,Lemma) :-
(o(State,_) -> % is the output function for State already defined ?
(retract(o(State,Entries)), % yes: add word to the value of the output function
union([Word/Lemma],Entries,NewEntries),
assert(o(State,NewEntries)))
;
assert(o(State,[Word/Lemma]))). % no: create a new entry for of the output function
/*********************************************************************************************************************************
output(State:,WordList:):
Returns a list of morphs if the analysers output function is defined,
otherwise the empty list.
*********************************************************************************************************************************/
output(State,Wordlist) :-
(o(State,Wordlist) -> true ; Wordlist = []).
/*********************************************************************************************************************************
segmentizer_information(States:,Transitions:,Finalstates:):
Determinines some information about the newly created NDA
*********************************************************************************************************************************/
segmentizer_information(States,Transitions,Finalstates) :-
findall(*,tr(_,_,_),L1), length(L1,Transitions),
findall(*,f(_,_),L2), length(L2,States0),
States is States0 + 1, findall(*,o(_,_),L3), length(L3,Finalstates).
202