Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018. Proceedings (2018)