【摘 要】
：
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图；分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列
【机 构】
：
山东农业大学信息学院,泰安,271018
【出 处】
：
2007全国理论计算机科学学术年会
论文部分内容阅读
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图；分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性；研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.
其他文献
电主轴是将旋转主轴与电机转子集成为一体的主轴单元, 结构复杂, 由于加工或装配误差等原因, 电主轴转子会存在着一定的偏心量, 为探求由于电主轴偏心所导致的转子振动特性,
针对基于传统鲁棒主成分分析的视频前背景分离的精度不高的问题,提出了一种新的广义非凸鲁棒主成分分析(GNRPCA)模型。该模型分别采用广义核范数和广义范数来代替鲁棒主成分分析模型中的秩函数和l_0范数,以解决现有鲁棒主成分分析模型存在的对秩函数和稀疏度函数的替代函数过惩罚而导致逼近程度不佳的问题。然后采用交替方向乘子法(ADMM)对提出的GNRPCA模型进行求解。最后,将该算法用于视频前背景分离,进
为实现风电机组发电机前轴承故障预警及辨识,将监控和数据采集系统(SCADA)时间序列数据和状态监测系统振动数据相结合,提出了一种时频域建模方法.首先,利用SCADA数据建立基于
线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则
针对汽车高度调节器生产中人工缺陷检测耗时耗力和传统诊断方法适用性差的问题,运用深度学习提出了一种基于改进型卷积网络的智能检测方法。该方法利用卷积网络提取特征,并且在网络中加入残差网络结构和可分离卷积,在深层网络提高精度的同时减少了参数计算量。改进的结构主要运用卷积层、池化层、批标准化层、softmax层,并引入残差网络结构和可分离卷积。实验结果表明,基于改进型卷积网络的汽车高度调节器缺陷检测方法有
针对水下无线传感网络中运动节点定位精度低的问题,提出了一种新的基于双层修正无迹卡尔曼的水下节点定位算法(DLMUKF).该算法利用下层无迹卡尔曼滤波算法对节点状态进行预测
自动磁通门经纬仪是地磁绝对观测中测量磁偏角和磁倾角的重要仪器,在测量过程中目前存在横轴与磁轴的不正交误差、磁通门传感器零点偏移误差、电机停止误差和竖轴倾斜误差。为了提高仪器测量精度,利用多体系统理论建立了磁通门传感器输出模型,并基于该模型和"四位置测量法"提出了磁偏角和磁倾角的多参量误差补偿算法。补偿算法通过传感器指向与地磁矢量正交的4个特定位置进行测量,可消除不正交误差和传感器零偏。针对测量过程
冲击波SM-102拥有2个醒目的大眼睛,给人印象很独特。这款产品中频饱满,声音洪亮,可大音量播放,也能轻松提升笔记本电脑的音质水平。
Blast SM-102 has two eye-catching eye
针对传统基于二阶统计量的循环平稳信号处理方法不能有效处理脉冲噪声干扰的问题,提出了一种基于循环多核相关熵的故障检测方法.首先,给出了多核相关熵的定义,推导了循环多核