<!DOCTYPE doc
[
<!ELEMENT doc ANY>
<!--NOTE: XML doesn't specify whether this is a choice or a seq-->
<!ELEMENT a (doc?)>
<!ELEMENT b (doc|a)>
<!ELEMENT c (
doc
|
a
|
c?
)>
]>
<doc/>