对NFA和DFA的认识

构造下列正规式相应的DFA

NFA与DFA的区别:

区别: 在某种状态下,当面临同一个输入符时存在不止一个状态转换,即允许进入多于一个的状态集合

格式: <S, Σ,T, s0, F>, 其中
S表示非空的有限状态集
Σ是非空的输入字母表
T是转移函数(在NFA中结果是一个状态的集合,在DFA中是多个状态的集合)
s0是唯一的起始状态
F∈S,是非空的终结状态

例题P64 1

(1) 1(0|1) *101
(2) 1(1010*|1(010)*1) *0
(3) a((a|b)|aba)*b
(4) b((ab)*|bb)*ab
步骤
a.构造正规式的NFA
b.根据NFA写出状态转换表
c.将状态转换表中的每个状态转换为DFA
具体实现:
(1) 1(0|1) *101

如有不对请批评指正
(2)1(1010*|1(010)*1) *0
在这里插入图片描述
状态转换表
在这里插入图片描述

按照状态转换表写出DFA
(3) a((a|b)*|ab*a)*b
(4) b((ab)*|bb)*ab
也是同样的道理,这里就给出NFA图,接下来就靠你自己了

在这里插入图片描述
在这里插入图片描述

  • 10
    点赞
  • 53
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
NFA(Non-Deterministic Finite Automaton,非确定有限自动机)和DFA(Deterministic Finite Automaton,确定有限自动机)是计算机科学中的两种自动机模型。它们描述了一种抽象的计算模型,用于解决字符串匹配、模式识别等问题。 NFA使用状态转移图的形式描述,一个状态可以有多个后继状态,且可以根据输入字符选择多个转移路径。NFA的代码实现可以使用状态转移表或状态转移函数来表示。以下是一个简单的NFA代码示例: ``` class NFA: def __init__(self, states, alphabet, transitions, start_state, accept_states): self.states = states # 所有状态的集合 self.alphabet = alphabet # 输入字符集合 self.transitions = transitions # 状态转移函数 self.start_state = start_state # 初始状态 self.accept_states = accept_states # 接受状态集合 def accept_input(self, input_string): current_states = set([self.start_state]) # 当前状态集合 for char in input_string: next_states = set() for state in current_states: if (state, char) in self.transitions: # 根据输入字符和当前状态找到后继状态 next_states.update(self.transitions[(state, char)]) current_states = next_states return bool(current_states & self.accept_states) # 判断是否有接受状态 # 使用示例 states = {0, 1, 2} # 状态集合 alphabet = {'a', 'b'} # 输入字符集合 transitions = {(0, 'a'): {1}, (1, 'b'): {2}} # 状态转移函数 start_state = 0 # 初始状态 accept_states = {2} # 接受状态集合 nfa = NFA(states, alphabet, transitions, start_state, accept_states) result = nfa.accept_input('ab') print(result) # 输出:True ``` DFA是一种特殊的NFA,不同于NFA的是,DFA的任意状态只有一个后继状态,并且不允许有空转移。DFA可使用状态转移表或状态转移函数实现。以下是一个简单的DFA代码示例: ``` class DFA: def __init__(self, states, alphabet, transitions, start_state, accept_states): self.states = states # 所有状态的集合 self.alphabet = alphabet # 输入字符集合 self.transitions = transitions # 状态转移函数 self.start_state = start_state # 初始状态 self.accept_states = accept_states # 接受状态集合 def accept_input(self, input_string): current_state = self.start_state # 当前状态 for char in input_string: current_state = self.transitions[(current_state, char)] # 根据输入字符和当前状态找到后继状态 return current_state in self.accept_states # 判断是否为接受状态 # 使用示例 states = {0, 1, 2} # 状态集合 alphabet = {'a', 'b'} # 输入字符集合 transitions = {(0, 'a'): 1, (0, 'b'): 0, (1, 'a'): 1, (1, 'b'): 2, (2, 'a'): 1, (2, 'b'): 0} # 状态转移函数 start_state = 0 # 初始状态 accept_states = {2} # 接受状态集合 dfa = DFA(states, alphabet, transitions, start_state, accept_states) result = dfa.accept_input('ab') print(result) # 输出:True ```
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值