会员服务
置换 · 正则化项 · 自然语言处理 · 离散数学 ·
2021 年 11 月 30 日
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
翻译：有限运输器、防御系统和有限替代装置的不可降解性
Vesa Halava
Vesa Halava

In this manuscript we present a detailed proof for undecidability of the equivalence of finite substitutions on regular language $b\{0,1\}^*c$. The proof is based on the works of Leonid P. Lisovik.


翻译：在这份手稿中,我们详细证明普通语言的有限替代物的等同性不可减损。 证据是基于列奥尼德·普·利索维奇的作品。
0
下载
关闭预览

相关内容

【因果人工智能系统】106页ppt，Causal AI for Systems
专知会员服务
94+阅读 · 2021年8月28日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
159+阅读 · 2020年1月16日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
专知会员服务
33+阅读 · 2019年11月30日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
【深度学习视频分析/多模态学习资源大列表】
【深度学习视频分析/多模态学习资源大列表】
专知会员服务
91+阅读 · 2019年10月16日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
SIGIR 2020关于深度推荐系统与CTR预估相关的论文
SIGIR 2020关于深度推荐系统与CTR预估相关的论文
AINLP
5+阅读 · 2020年6月28日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知
6+阅读 · 2020年1月16日
【资源】深度学习视频分析/多模态学习资源大列表
【资源】深度学习视频分析/多模态学习资源大列表
专知
48+阅读 · 2019年10月17日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
美国化学会 (ACS) 北京代表处招聘
美国化学会 (ACS) 北京代表处招聘
知社学术圈
11+阅读 · 2018年9月4日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】深度学习思维导图
【推荐】深度学习思维导图
机器学习研究会
15+阅读 · 2017年8月20日
Faster Algorithms for Bounded-Difference Min-Plus Product
Arxiv
0+阅读 · 2022年2月2日
HMC and Langevin united in the unadjusted and convex case
Arxiv
0+阅读 · 2022年2月2日
On the Effect of Log-Barrier Regularization in Decentralized Softmax Gradient Play in Multiagent Systems
Arxiv
0+阅读 · 2022年2月2日
On the Interference Cancellation by Reduced Channel Zero Forcing Class of Precodings in Massive MIMO Systems
Arxiv
0+阅读 · 2022年2月1日
Monte Carlo stochastic Galerkin methods for non-Maxwellian kinetic models of multiagent systems with uncertainties
Arxiv
0+阅读 · 2022年1月31日
XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure
Arxiv
0+阅读 · 2022年1月31日
Max Flow Vitality of Edges and Vertices in Undirected Planar Graphs
Arxiv
0+阅读 · 2022年1月31日
Scheduling Policies for Stability and Optimal Server Running Cost in Cloud Computing Platforms
Arxiv
0+阅读 · 2022年1月31日
The Complexity of Approximate Pattern Matching on De Bruijn Graphs
Arxiv
0+阅读 · 2022年1月28日
High-order integrators for Lagrangian systems on homogeneous spaces via nonholonomic mechanics
Arxiv
0+阅读 · 2022年1月28日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
置换
正则化项
自然语言处理
离散数学
相关VIP内容
【因果人工智能系统】106页ppt，Causal AI for Systems
专知会员服务
94+阅读 · 2021年8月28日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
159+阅读 · 2020年1月16日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
专知会员服务
33+阅读 · 2019年11月30日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
【深度学习视频分析/多模态学习资源大列表】
【深度学习视频分析/多模态学习资源大列表】
专知会员服务
91+阅读 · 2019年10月16日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
SIGIR 2020关于深度推荐系统与CTR预估相关的论文
SIGIR 2020关于深度推荐系统与CTR预估相关的论文
AINLP
5+阅读 · 2020年6月28日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知
6+阅读 · 2020年1月16日
【资源】深度学习视频分析/多模态学习资源大列表
【资源】深度学习视频分析/多模态学习资源大列表
专知
48+阅读 · 2019年10月17日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
美国化学会 (ACS) 北京代表处招聘
美国化学会 (ACS) 北京代表处招聘
知社学术圈
11+阅读 · 2018年9月4日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】深度学习思维导图
【推荐】深度学习思维导图
机器学习研究会
15+阅读 · 2017年8月20日
相关论文
Faster Algorithms for Bounded-Difference Min-Plus Product
Arxiv
0+阅读 · 2022年2月2日
HMC and Langevin united in the unadjusted and convex case
Arxiv
0+阅读 · 2022年2月2日
On the Effect of Log-Barrier Regularization in Decentralized Softmax Gradient Play in Multiagent Systems
Arxiv
0+阅读 · 2022年2月2日
On the Interference Cancellation by Reduced Channel Zero Forcing Class of Precodings in Massive MIMO Systems
Arxiv
0+阅读 · 2022年2月1日
Monte Carlo stochastic Galerkin methods for non-Maxwellian kinetic models of multiagent systems with uncertainties
Arxiv
0+阅读 · 2022年1月31日
XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure
Arxiv
0+阅读 · 2022年1月31日
Max Flow Vitality of Edges and Vertices in Undirected Planar Graphs
Arxiv
0+阅读 · 2022年1月31日
Scheduling Policies for Stability and Optimal Server Running Cost in Cloud Computing Platforms
Arxiv
0+阅读 · 2022年1月31日
The Complexity of Approximate Pattern Matching on De Bruijn Graphs
Arxiv
0+阅读 · 2022年1月28日
High-order integrators for Lagrangian systems on homogeneous spaces via nonholonomic mechanics
Arxiv
0+阅读 · 2022年1月28日
Top
微信扫码咨询专知VIP会员
Top