An introduction to state notation and SKED | doi.page