Package nzdis . lang . kif ;
Helpers
| tab | = | 9 |
| cr | = | 13 |
| lf | = | 10 |
| eol | = | cr lf | cr | lf | |
| white | = | ( ' ' | tab | eol ) + |
| upper | = | [ 'A' .. 'Z' ] |
| lower | = | [ 'a' .. 'z' ] |
| digit | = | [ '0' .. '9' ] |
| alpha | = | [ [ [ [ '!' + '$' ] + [ '%' + '&' ] ] + [ [ '*' + '+' ] + [ '-' + '.' ] ] ] + [ [ [ '/' + '<' ] + [ '@' + '?' ] ] + [ [ '>' + '=' ] + [ '_' + '~' ] ] ] ] |
| special | = | [ [ [ [ '"' + '#' ] + [ '(' + ')' ] ] + [ [ ',' + '\' ] + [ '^' + '`' ] ] ] + ''' ] |
| normal | = | [ [ upper + lower ] + [ digit + alpha ] ] |
| word | = | ( normal | '\' [ [ 0 .. 0xffff ] - [ [ 10 + 13 ] + [ 9 + ' ' ] ] ] ) + |
| l_par | = | '(' |
| r_par | = | ')' |
| r_ap | = | ''' |
| u_arrow | = | '^' |
| eq | = | '=' |
| ineq | = | '/=' |
| at | = | '@' |
| q_mark | = | '?' |
| col_eq | = | ':=' |
| quote | = | 'qoute' |
| defobject | = | 'defobject' |
| deffunction | = | 'deffunction' |
| defrelation | = | 'defrelation' |
| deflogical | = | 'deflogical' |
| not | = | 'not' |
| and | = | 'and' |
| or | = | 'or' |
| dbl_r_arrow | = | '=>' |
| dbl_l_arrow | = | '<=' |
| arrow_dbl_arrow | = | '<=>' |
| if | = | 'if' |
| cond | = | 'cond' |
| value | = | 'value' |
| listof | = | 'listof' |
| holds | = | 'holds' |
| forall | = | 'forall' |
| exists | = | 'exists' |
| col_dbl_r_arrow | = | ':=>' |
| col_dbl_l_arrow | = | ':<=' |
| col_r_arrow | = | ':->' |
Tokens
| line_comment | = | '/' '/' [ [ 0 .. 0xffff ] - [ cr + lf ] ] * eol | ';' [ [ 0 .. 0xffff ] - [ cr + lf ] ] * eol | |
| multiline_comment | = | '/' '*' [ [ 0 .. 0xffff ] - [ '*' + '/' ] ] * '*' '/' | |
| string | = | '"' ( [ [ 0 .. 0xffff ] - [ '"' + '\' ] ] | '\' [ 0 .. 0xffff ] ) + '"' | |
| charref | = | '#' '\' [ 0 .. 0xffff ] | |
| l_par | = | l_par | |
| r_par | = | r_par | |
| r_ap | = | r_ap | |
| u_arrow | = | u_arrow | |
| eq | = | eq | |
| ineq | = | ineq | |
| at | = | at | |
| q_mark | = | q_mark | |
| col_eq | = | col_eq | |
| quote | = | quote | |
| defobject | = | defobject | |
| deffunction | = | deffunction | |
| defrelation | = | defrelation | |
| deflogical | = | deflogical | |
| not | = | not | |
| and | = | and | |
| or | = | or | |
| dbl_r_arrow | = | dbl_r_arrow | |
| dbl_l_arrow | = | dbl_l_arrow | |
| arrow_dbl_arrow | = | arrow_dbl_arrow | |
| col_dbl_r_arrow | = | col_dbl_r_arrow | |
| col_dbl_l_arrow | = | col_dbl_l_arrow | |
| col_r_arrow | = | col_r_arrow | |
| if | = | if | |
| cond | = | cond | |
| value | = | value | |
| listof | = | listof | |
| holds | = | holds | |
| forall | = | forall | |
| exists | = | exists | |
| t_seqvar | = | '@' word | |
| t_indvar | = | '?' word | |
| ref_seqvar | = | ',@' word | |
| ref_indvar | = | ',?' word | |
| word | = | word | |
| white | = | white |
Ignored Tokens
Productions
This site has been last updated by the web master
on 2007/6/24.