qioqio Blog

Thinking will not overcome fear but action will.

形式语言小知识点

形式语言真的会给人带来理性愉悦 在我们学习形式语言的过程之中,我总结了两个很有意思,稍微有一点点难度的题目. 没有连续两个0的正则语言: (1+01)*(0+$) (0+$)(1+10)* 1*(01*)(0?) 下面是Leq语言的文法设计: 1 S->aSb|bSa|SS|$ 2 S->SaSbS|SbSaS|$ 3 S->aSbS|bSaS|$ 4 S->$...

哈工大形式语言考试题目

先说一下印象中的题型 一题是设计了一个dfa和nfa送分题,很简单,我就没记住,原因是这道题太简单了,没有记忆的必要性. 一题是设计cfg并且对于给定的串,给出最左派生和语法树。 第三题也并不难,但是考到了我的薄弱环节,知识盲区,就是子集构造法化简nfa为dfa 还有就是证明一个乔姆斯基文法生成长度为n的串需要2n-1步的推导 判断题有一个判断下面命题是否正确: 两个非正则语言交集...

软工项目

软工项目 最近我们的一门软工实验要求做一个大项目,现在已经到了中期,需要一些真实的用户来给我们的系统提点建议. 项目要求 这是我们老师给的需求,但是作为一个用户,你也可以提出自己的个性化需求,至于能不能满足,就要看我们的时间够不够,难度大不大了,O(∩_∩)O 之前一直在本地运行,最近我们把网站搬到了服务器上,大家都可以进行访问了. 这里是网站入口. 欢迎各位登陆我们的网站给我们...

OS线程笔记

线程 win linux 既有进程也有线程的概念 但是很多嵌入式系统只有线程的概念 线程是使用CPU的基本单元,由线程ID、程序计数器PC,寄存器组和栈构成 优点 响应度高 交互程序采用多线程,在多数情况下,即使部分阻塞,其他部分仍能够执行 资源共享 线程默认共享他们所属进程的所有资源 经济快捷 (1)多进程比多线程消耗资源更多; (2)线程切换只需切换少量现场(寄存器、栈),...

软件工程,测试笔记

测试 测试的简单分类 单元测试 内部逻辑(白盒测试) 外部接口(黑盒测试) 集成测试 整体集成() 增量式集成() 持续集成(CI) 确认测试 系统测试 性能测试: 安全测试 可靠性测试 并发测试 验收测试 安装测试 试用测试 黑盒测试 等价类划分 边界值分析 等价类 有效等价类 无效等价类 设计测试用例时,要同时...

安装linux指南

为以后安装linux做铺垫

前言 之前安装linux花了四天总算是安装好了. 现在我想记录一下自己的一些经验,使得自己以后安装linux的时候能够方便一点. 准备阶段 选择安装的发行版 如果是安装乌班图的话,我觉得网上的帖子已经很多了,步骤简单,没有什么坑,但是不知道为啥,安装程序总是不那么可靠,要么安装的系统有问题,要么根本就安装不上去. 如果是安装arch的话,这个我觉得确实很难,主要的难点...

学术英语写作project1

前言 我们这个学期的学术英语写作的第一个大作业就是写一篇论文关于 “The need of future generations are being met by current policies of sustainable development. To what extent do you agree with the statement.” 下面我就针对这个话题谈谈我的看法吧....

本地调试博客

前言 之前调试博客的方式就是每一次都要push到远程仓库,然后登陆自己的博客一直刷新页面,直到更改生效,真的是很浪费时间,所以今天我就想要在本地安装一个jekyl来在本地调试,完成之后,push上去,就不用管了. 正文 我的个人博客本身就是看了别人的博客,用了别人的模板,所以我首先想到的还是去看那篇博客,但是上面并没有讲的很详细,所以我谷歌了一下,发现了这个网站 很顺利的安装了. 但是在使用...

记录数次安装linux的经历

前言 要说我为什么要安装linux呢?主要就是我们的软件工程试验,我们需要配置好strus的环境,tomcat以及mysql这些东西,我之前光是配置这些东西就花了很长的时间,后来我在读一篇学姐的博客的时候,她说在linux下配置这些东西要比win下爽很多,还有就是为了以后能在自己的简历上骄傲的写下自己的工作平台是linux这句话,所以就算这段时间我并不是很闲,但是我还是花费了四天时间来...

git常用命令

随便整理的一些自用的Git指令 GitHub创建仓库提示代码 echo "# 项目名" >> README.md git init git add README.md git commit -m "first commit" git remote add origin git@github.com:qioqio/项目名.git git push -u origin m...