nest-open-source / nest-learning-thermostat / 5.0.1 / libxml2 / refs/heads/master / . / libxml2-2.7.7 / test / automata / abba

# | |

# Tests ab*a with an eliminated epsilon transition | |

# | |

t 0 1 a | |

t 1 2 b | |

e 1 2 | |

t 2 2 b | |

t 2 3 a | |

f 3 | |

------- | |

a | |

a | |

=> | |

# Pass | |

a | |

b | |

b | |

a | |

=> | |

# Pass | |

a | |

b | |

=> | |

# Fail | |

a | |

b | |

a | |

b | |

=> | |

# Fail |