Copyright(C) 2026计算理论、自动机与逻辑学国际会议（CTAL 2026）