22 lines
535 B
DTD
22 lines
535 B
DTD
<?xml encoding="UTF-8"?>
|
|
|
|
<!ELEMENT root (transicion)+>
|
|
<!ATTLIST root xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT transicion (movimiento|qi|qj|si|sj)+>
|
|
<!ATTLIST transicion xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT movimiento (#PCDATA)>
|
|
<!ATTLIST movimiento xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT qi (#PCDATA)>
|
|
<!ATTLIST qi xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT qj (#PCDATA)>
|
|
<!ATTLIST qj xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT si (#PCDATA)>
|
|
<!ATTLIST si xmlns CDATA #FIXED ''>
|
|
|
|
<!ELEMENT sj (#PCDATA)>
|
|
<!ATTLIST sj xmlns CDATA #FIXED ''> |