Reasoning about XML Schema Languages using Formal Language Theory