Syntax-Tree Regular Expression Based DFA FormalConstruction

来源 :智能信息管理(英文) | 被引量 : 0次 | 上传用户：lvy1234

【摘要】

：

Compiler is a program whose functionality is to translate a computer program written in source language into an equivalent machine code. Compiler construction i

【作者】

：

Nazir Ahmad Zafar Fawaz Alsaad

【机构】

：

DepartmentofComputerScience

【出处】

：

智能信息管理(英文)

【发表日期】

：

2012年4期

【关键词】

：

AUTOMATA Theory COMPILER Verification LEXICAL ANALYZER Automated Tools Z Specifi

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Compiler is a program whose functionality is to translate a computer program written in source language into an equivalent machine code. Compiler construction is an advanced research area because of its size and complexity. The source codes are in higher

其他文献

Adaptive Gradient-Based and Anisotropic Diffusion Equation Filtering Algorithm for Microscopic Image

In image acquisition process, the quality of microscopic images will be degraded by electrical noise, quantizing noise, light illumination etc. Hence, image pre

期刊

MICROSCOPICIMAGEIMAGEPREPROCESSINGANISOTROPICGradient-BasedMicroscopic Ima

Experimentally-Induced Inhibition of Growth in Melanoma Cell Cultures Separated by ~2 Kilometers Whe

In multiple experiments plates of melanoma cells separated by either 3 m or 1.7 km were placed in the centers of toroids. A specific protocol of changing, angul

期刊

EXCESSCORRELATIONEntanglementMalignantCellDeathMELANOMACellsMagneticFie

消毒供应中心医疗器械的清洗效果和质量监测方法

作为医疗强国和大国,美国近些年已采取较多措施来降低医院院内感染发生率。据统计,美国全年的院内感染费用预计花费医院280~450亿美元。除了大额费用,院内感染的频繁发生也会

期刊

消毒器械清洗清洗液质量监测

A Metamodel-Driven Business Process Modeling Methodology and Its Integrated Environment for Reusing

Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software syst

期刊

EnterpriseSoftwareDevelopmentBUSINESSPROCESSModelingBUSINESSPROCESSMETAM

Introduction to Secure PRNGs

Pseudo-Random Number Generators (PRNGs) are required for generating secret keys in cryptographic algorithms, generating sequences of packet in Network simulatio

期刊

CRYPTOGRAPHYCHAOTICRandomBitGENERATORNISTTestSUITETestu01CryptographyC

医药护患一体化模式在腹部肿瘤患者化疗中的应用

目的探讨医药护患一体化模式在腹部肿瘤病房中的应用效果.方法医药护患一体化模式组包括医生6名,护士13名,药师1名.比较实施医药护患一体化模式前后的护士对治疗方案的了解

期刊

医药护患一体化模式优质护理满意度合理用药doctor-pharmacist-nurse-patient integrated mode high qu

波后滑移线引起的界面变形和R-M不稳定性

实验研究复杂波形结构引起平面界面变形和反射激波冲击下的R-M不稳定性的问题.在竖直激波管中生成稳定的N2/SF6平面界面,激波在圆柱绕射后,冲击平面界面,由此研究复杂激波引

期刊

激波管R-M不稳定性绕射激波滑移线反射激波shock tubeRichtmyer-Meshkov instabilitydiffracted sh

芽孢生成和萌发相关机制

芽孢（endospore）又称内生孢子,是细菌休眠体。常见的产芽孢细菌主要为芽孢杆菌属（Bacillus）、梭状芽孢杆菌属（Clostridium）、芽孢乳酸菌属（Sporolactobacillus）等。产芽孢细菌在营养

期刊

芽孢受体萌发蛋白质

合成乙酸正丁酯的催化剂研究

本文报道采用七种不同无机酸盐，三种固体超强酸及两种杂多酸作催化剂催化酯化合成乙酸正丁酯的实验结果。

期刊

催化剂酯化乙酸正丁酯催化剂

Stereo Video Transmission Using LDPC Code

Stereo video is widely used because it can provide depth information. However, it is difficult to store and transmit stereo video due to the huge data amount. S

期刊

STEREOVIDEOLDPCCODEUEPDataPartionEEPStereo VideoLDPC CodeUEPData Part

Syntax-Tree Regular Expression Based DFA FormalConstruction

与本文相关的学术论文