我目前正在分析一些用Python 3编写的自动机代码。不幸的是,我对Python 3的了解不足,我以为自己做的那样。这里有一些背景:我目前正在为确定性有限自动机分析一段代码的闭包属性(“串联”)。我们可以假设M =(Q,Sigma,Delta,q,F)为DFA。在串联关闭属性内,下面是一段代码。有人可以向我描述Frozenset(...)范围内发生了什么吗?
delta = dict()
for q in QA:
for a in SigmaA:
delta[((1,q),a)] = frozenset({ (1,r) for r in deltaA[(q,a)] })