搜索
❯
2021/01/20 种植2025/06/06 修剪历史
the acceptance condition is a set Qf⊆Q, a run r is accepting iff inf(r)∩Qf=∅
r