thinkpad T580加装内存条

  1. 以自己使用的T580为例,说一说自己加装内存的过程。
    环境介绍:Tinkpad T580 固态128G 内存8G,由于使用的专用软件较多,较大;8G内存明显感到吃力,于是购买了一个海力士 16G DDR4 2400的笔记本内存条。

  2. 话不多说,到货安装;
    2.1 首先关掉内置电源,开机-> 按住F1键进入TinkPad Setup界面:
    在这里插入图片描述
    2.2 进入Config->Power项

在这里插入图片描述
2.3 进入Disable Built-in Battery中点击yes,电源会随机断掉,黑屏。说明关闭成功;
2.4 拿掉外置的电源,开始拧螺丝,共有8个螺丝。
然后使用银行卡一类的东西,开始沿边沿撬开。
在这里插入图片描述
2.5 红色圈圈的位置就是内存条加装的地方,总共有两个槽,左边那个是原配8G的。
2.6 安装完毕后,后盖恢复原状。
2.7 开机。查看我的电脑属性
在这里插入图片描述

2.8 内存已经变为24G; 安装完成!

注:使能内置电源,在2.2的位置,在Power On with AC Attach位置选择[Enabled]

定义:上下文无关文法是一种描述形式语言的数学模型,由四元组 G=(V,Σ,R,S) 构成。其中,V 是非终结符集合,Σ 是终结符集合,R 是产生式规则集合,S 是起始符号。 示例:在文档中,有 G(E) 和 G(S) 等上下文无关文法,用于描述表达式的结构。例如,G(E) 的定义如下: E→T∣E+T∣E−T T→F∣T∗F∣T/F F→(E)∣i 这里,E、T、F 是非终结符,而 +、−、∗、/、(、) 和 i 是终结符。该文法用于描述算术表达式的构造方式。 推导是根据文法规则从起始符号逐步生成句子的过程,分为两种类型: 最左推导:始终扩展当前最左边的未展开非终结符。 最右推导:始终扩展当前最右边的未展开非终结符。 例如,在 G(N) 的上下文无关文法中,数字串的最左推导过程可以表示为: N⇒ND⇒NDD⇒⋯⇒DDD⇒0DDD⇒01DD⇒012D⇒0127 语法树是通过图形方式展示字符串如何根据文法规则进行推导的结构。它清晰地反映了推导过程中的层次关系。例如,对于表达式 i+i∗i,其语法树可以直观地展示操作符和操作数之间的层次结构。 如果一个句子存在多个不同的语法树,即可以通过多种推导过程生成,那么这个文法就被认为是二义性的。例如,句子 iiiei 有两个可能的语法树,这表明该文法存在二义性。 在自动机理论中,确定化是指将非确定有限自动机(NFA)转换为确定有限自动机(DFA),以确保每个状态在读取输入符号时只有一个确定的转移路径。最小化则是指去除 DFA 中的冗余状态,以获得更简洁的模型。文档中提供了 DFA 确定化和最小化的详细步骤示例。 正则表达式是一种用于匹配字符串模式的工具。文档中给出了许多正则表达式的例子,例如 (0∣1)∗01,用于匹配所有以“01”结尾的由 0 和 1 组成的字符串。正则表达式在文本处理和模式匹配中具有广泛应用。 综上所述,编译原理不仅涉
评论 5
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值