@收款{zbMATH07204558，作者={Boja{'n}czyk，Miko{l}aj和Gimbert，Hugo和Kelmendi，Edon}，标题={零自动机的空性是可判定的}，BookTitle={2017年7月10日至14日，波兰华沙，ICALP 2017，第44届自动化、语言和编程国际研讨会。诉讼}，国际标准图书编号={978-3-95977-041-5}，页码={13}，注={Id/No 106}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.ICALP.2017.106}，关键词={68Q45,03B25,03D05}，zbMATH={7204558}，Zbl={1442.68084}}