[英]Represent count function in first order predicate logic
給定以下函數來計算字符串中AlphaChar字符的數量,我該如何用一階邏輯表示這種編碼函數?
注意:AlphaChar只是一個無符號的int類型
int alpha_char_strlen (const AlphaChar *str)
{
const AlphaChar *p;
for (p = str; *p; p++)
;
return p - str;
}
提前致謝,
您可以將strlen
定義為
<string of length n><string of length m>
則其長度為n + m。 假設您的結構中有算術
HasLength(EmptyString,0) ^ \forall x \forall y \forall z \forall k \forall l \forall m
(HasLength(x,k) ^ HasLenght(y,l) ^ HasLength(z,m) ^ z = xy => m = k + l)
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.