regular
“regular”相关的资料有哪些？“regular”相关的范文有哪些？怎么写？下面是小编为您精心整理的“regular”相关范文大全或资料大全，欢迎大家分享。
Regular Expression
深入浅出之正则表达式（一）
前言：
半年前我对正则表达式产生了兴趣，在网上查找过不少资料，看过不少的教程，最后在使用一个正则表达式工具RegexBuddy时发现他的教程写的非常好，可以说是我目前见过最好的正则表达式教程。于是一直想把他翻译过来。这个愿望直到这个五一长假才得以实现，结果就有了这篇文章。关于本文的名字，使用“深入浅出”似乎已经太俗。但是通读原文以后，觉得只有用“深入浅出”才能准确的表达出该教程给我的感受，所以也就不能免俗了。
本文是Jan Goyvaerts为RegexBuddy写的教程的译文，版权归原作者所有，欢迎转载。但是为了尊重原作者和译者的劳动，请注明出处！谢谢！
1. 什么是正则表达式
基本说来，正则表达式是一种用来描述一定数量文本的模式。Regex代表Regular Express。本文将用< 一段文本就是最基本的模式，简单的匹配相同的文本。 2. 不同的正则表达式引擎 正则表达式引擎是一种可以处理正则表达式的软件。通常，引擎是更大的应用程序的一部分。在软件世界，不同的正则表达式并不互相兼容。本教程会集中讨论Perl 5 类型的引擎，因为
Model-Checking LTL with Regular Valuations for Pushdown Syst
Division of Informatics,University of Edinburgh
Division of Informatics August2001 398d881052d380eb62946def/
Model-Checking LTL with Regular Valuations for
Pushdown Systems
Stefan Schwoon,Javier Esparza,Antonin Kucera
Informatics Research Report EDI-INF-RR-0044
DIVISION of INFORMATICS
Laboratory for Foundations of Computer Science
August2001
To appear in Proceedings of TACS2001.
Abstract:
Recent works have proposed pushdown systems as a tool for analyzing programs with(recursive)procedures.In particular,the model-checking problem for